From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: NSA posts secrets to writing secure code in SPARK
Date: Fri, 17 Oct 2008 19:54:16 -0500
Date: 2008-10-17T19:54:16-05:00 [thread overview]
Message-ID: <gdbc45$n2f$1@jacob-sparre.dk> (raw)
In-Reply-To: nospam-9CECCC.18172417102008@earthlink.vsrv-sjc.supernews.net
"Arthur Evans Jr" <nospam@someISP.net> wrote in message
news:nospam-9CECCC.18172417102008@earthlink.vsrv-sjc.supernews.net...
> The relevance of this fascinating item to Ada shows up near the end of
> this posting in comp.risks. Many of us have believed this sort of thing
> for years, so it's good to see an independent verification.
Well, it's just a rehash to the Tokeneer stuff, which was discussed here two
weeks ago. You can find a link to the original GCN article on the AdaIC web
site http://www.adaic.com/news/nsa-0-defects.html (which was posted on
Tuesday).
Randy.
prev parent reply other threads:[~2008-10-18 0:54 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-17 22:17 NSA posts secrets to writing secure code in SPARK Arthur Evans Jr
2008-10-18 0:54 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox