NSA Shows The Way To Develop Secure Systems

LinuxSecurity.com: The Tokeneer project was commissioned by the NSA from Praxis High Integrity Systems as a demonstrator of high-assurance software engineering. Developed using Praxis' Correctness by Construction (CbyC) methodology it uses the SPARK Ada language and AdaCore's GNAT Pro environment. The project has demonstrated how to meet or exceed Evaluation Assurance Level (EAL) 5 in the Common Criteria thus demonstrating a path towards the highest levels of security assurance. Have you heard the NSA has released their security research project called Tokeneer as open source? I found interesting about the project is that it uses the SPARK Ada programming language. What do you think about this project?

Related Items