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) [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED] _________________________ | | |\^/| | | 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.
