On Sun, Oct 19, 2008 at 7:41 AM, Rob, grandpa of Ryan, Trevor, Devon & Hannah <[EMAIL PROTECTED]> wrote: > 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/
I'd say a lot of this is dependant on the abilities of the programmers as compared to the process itself. > ====================== (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. -- noon silky http://skillsforvilla.tumblr.com/ http://www.themonkeynet.com/armada/ _______________________________________________ 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.
