From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!newsfeed.xs4all.nl!newsfeed1a.news.xs4all.nl!xs4all!takemy.news.telefonica.de!telefonica.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Tue, 22 Apr 2014 14:18:44 +0200 From: "G.B." User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: OpenSSL development (Heartbleed) References: <-OGdnezdYpRWFc_OnZ2dnUVZ_vednZ2d@giganews.com> <535297f1$0$6715$9b4e6d93@newsspool3.arcor-online.net> <5352a76f$0$6720$9b4e6d93@newsspool3.arcor-online.net> <3ZSdnd4A49AxV8_OnZ2dnUVZ_qSdnZ2d@giganews.com> <5352da76$0$6701$9b4e6d93@newsspool2.arcor-online.net> <53538283$0$6715$9b4e6d93@newsspool2.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <53565e17$0$6710$9b4e6d93@newsspool2.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 22 Apr 2014 14:18:31 CEST NNTP-Posting-Host: 56fe9c97.newsspool2.arcor-online.net X-Trace: DXC==; 8^2U4Q3Nl; iVb[J9ZZP`A9EHlD; 3Ycb4Fo<]lROoRa8kFjLh>_cHTX3jmK<:oAR1BG1l X-Complaints-To: usenet-abuse@arcor.de Xref: number.nntp.dca.giganews.com comp.lang.ada:185934 Date: 2014-04-22T14:18:31+02:00 List-Id: On 20.04.14 18:49, Alan Browne wrote: > Is it possible to identify a particular client side layer item (app, > transport, internet or link) that is relatively small that could be > designed and written in Ada and that could "drop in" as a replacement? > > Obviously it would have to hook up and down in the system and 'look' for > all intents and purposes like its C predecessor? One such example is the Ironsides DNS server, I think, http://ironsides.martincarlisle.com/ I guess the program may well be a target for appraisal. In any case, since this can replace one layer item, it is proof of concept. Would people at Cisco take note of the possibilities of "language advantages", and S/E? (If they are "allowed" to make their devices more secure, which I do not know.) http://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20140409-heartbleed Another hint is found in the use of Ada when cracking the Lorenz code. According to the winner, the cryptographic algorithms were expressed more clearly, and, quoting, *concisely*! http://www.drdobbs.com/parallel/tunny-colossus-and-ada-keeping-an-open/207800151