-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

NSA edges into the open source realm with Tokeneer

,----[ Quote ]
| Components of a National Security Agency case study designed to demonstrate
| that open source, high security and cost effectiveness can all co-exist have
| been turned over to the open source community.
`----

http://www.betanews.com/article/NSA_...eer/1223330111

US National Security Agency Releases Secure Software Project to Open Source
Community

,----[ Quote ]
| The development of highly secure, low defect software will be dramatically
| helped by the release of the Tokeneer research project to the open source
| community by the US National Security Agency (NSA). The project materials,
| including requirements, security target, specifications, designs, source
| code, and proofs are now available at www.adacore.com/tokeneer.
`----

http://www.businesswire.com/portal/s...03&newsLang=en


Yesterday:

NSA shows the way to develop secure systems

,----[ Quote ]
| The unprecedented release of the project into the open source community aims
| to demonstrate how highly secure software can be developed cost-effectively,
| improving industrial practice and providing a starting point for teaching and
| academic research. Originally showcased in a conference paper in 2006, it has
| the long-term aim of improving the development practices of NSA’s
| contractors. Tokeneer was created as a fixed-price project, taking just 260
| person days to create nearly 10,000 lines of high-assurance code, achieving
| lower development costs than traditional methods per line of code.
`----

http://www.net-security.org/secworld.php?id=6619
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkjs+T8ACgkQU4xAY3RXLo4wsQCgltQJphHO+d 64rycfmp1EmrA6
8xkAn1YqXO+p1jM41Mou6qvbDp72LJwi
=qZ5i
-----END PGP SIGNATURE-----