[SC-L] AdaCore - Home > GNAT Pro > The Tokeneer Project

[Kenneth Van Wyk]

http://www.adacore.com/home/gnatpro/tokeneer/

Excerpt:

"Project Summary

In order to demonstrate that developing highly secure systems to the  
level of rigor required by the higher assurance levels of the Common  
Criteria is possible, the NSA (National Security Agency) asked Praxis  
High Integrity Systems to undertake a research project to develop part  
of an existing secure system (the Tokeneer System) in accordance with  
Praxis’ Correctness by Construction development process.

This development and research work has now been made available by the  
NSA to the software development and security communities in an effort  
to prove that it is possible to develop secure systems rigorously in a  
cost effective manner."


Cheers,

Ken

-----
Kenneth R. van Wyk
KRvW Associates, LLC
http://www.KRvW.com





-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2252 bytes
Desc: not available
Url : http://krvw.com/pipermail/sc-l/attachments/20081008/c7d7582c/attachment.bin