its interesting that the most secretive government agency is more concerned with software quality than keeping everything complete locked down. via slashdot...
The
development of highly secure, low defect software will be dramatically
helped by the release of the Tokeneer research project to the open
source community by the US National Security Agency (NSA).
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.
Recent Comments