![securecoding logo](/images/securecoding-logo.png)
Secure Coding mailing list archives
AdaCore - Home > GNAT Pro > The Tokeneer Project
From: ken at krvw.com (Kenneth Van Wyk)
Date: Wed, 8 Oct 2008 05:47:51 -0400
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
Current thread:
- AdaCore - Home > GNAT Pro > The Tokeneer Project Kenneth Van Wyk (Oct 08)