funsec mailing list archives
Re: High integrity software *can* be written ...
From: silky <michaelslists () gmail com>
Date: Sun, 19 Oct 2008 12:23:23 +1100
On Sun, Oct 19, 2008 at 7:41 AM, Rob, grandpa of Ryan, Trevor, Devon & Hannah <rMslade () shaw ca> 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) 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.
-- 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.
Current thread:
- High integrity software *can* be written ... Rob, grandpa of Ryan, Trevor, Devon & Hannah (Oct 18)
- Re: High integrity software *can* be written ... silky (Oct 18)