High integrity software *can* be written ...

["Rob, grandpa of Ryan, Trevor, Devon & Hannah" <rMslade () shaw ca>]

The NSA (just because it's them doesn't mean it's a conspiracy) has funded a 
project to develop high integrity software.  And it works.

http://www.adacore.com/home/gnatpro/tokeneer/

http://www.adacore.com/multimedia/tokeneer/Tokeneer_Overview.pdf

http://www.listbox.com/member/archive/247/2008/10/sort/time_rev/page/3/entry/3
:184/20081014171859:B7B1CA18-9A35-11DD-8B12-8922199CFB26/

======================  (quote inserted randomly by Pegasus Mailer)
rslade () vcn bc ca     slade () victoria tc ca     rslade () computercrime org
                      _________________________
                     |    |     |\^/|     |    | swiped
                     |    |  _|\|   |/|_  |    | from
                     |    |  >         <  |    | Alan
                     |    |   >_./|\._<   |    | Tai
                     |____|_______^_______|____|
victoria.tc.ca/techrev/rms.htm blogs.securiteam.com/index.php/archives/author/p1/
_______________________________________________
Fun and Misc security discussion for OT posts.
https://linuxbox.org/cgi-bin/mailman/listinfo/funsec
Note: funsec is a public and open mailing list.