It's Time to Abandon Insecure Languages

[techt]

On Thu, 18 Jul 2002 13:55:07 -0700 (PDT)
"Jay D. Dyson" <jdyson at treachery.net> wrote:

> 	Let us not forget Ada.  My wife's been coding in it for years now
> and, while I haven't played with the language apart from poring through
> her code on occasion, the language strikes me as remarkably more secure
> than C/C++. 

In those situations where safety is a *must*, there is a high reliability subset of Ada called Spark.  <http://www.sparkada.com/>  I haven't actually used it in any projects myself, but I did buy the book to get an idea of what it was capable of.  <http://www.amazon.com/exec/obidos/ASIN/0201175177>

ObCryptography: Markus Kuhn has implemented Serpent in Ada95 as a reference. <http://www.cl.cam.ac.uk/~mgk25/>

-- 
techt <techt at pikeonline.net>
"[Mass] media is often stenography for the powerful" -- Norman Solomon
------------------------------------------------------
[This E-mail scanned for viruses by Pike Online, Inc.]


---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at wasabisystems.com