We feel passionate about most things related to computer security: Links, news, articles, research papers, etc...
Monday, 20 October 2008
NSA shows us how to write secure code
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/