The Tokeneer project was commisioned by the NSA, and has now been released to the community. The idea is to show that code can be written to comply with the Common Criteria EAL 5:
http://www.adacore.com/home/gnatpro/tokeneer/
Showing posts with label projects. Show all posts
Showing posts with label projects. Show all posts
Monday, 20 October 2008
Monday, 3 March 2008
GNU Citizen projects
Hi All,
Just had a chance to start trawling through GNUCitizens project list and the are some really interesting ones here.
For a start the Massive Enumeration Toolset sounds really cool.
dD
Just had a chance to start trawling through GNUCitizens project list and the are some really interesting ones here.
For a start the Massive Enumeration Toolset sounds really cool.
dD
Subscribe to:
Posts (Atom)