NSA Shows The Way To Develop Secure Systems Bill Keys 1 min read Oct 07, 2008 The Tokeneer project was commissioned by the NSA from Praxis High Integrity Systems as a demonstrator of high-assurance software engineering. Developed using PraxisThe link for this article located at net-security is no longer available. Prev: Cyber-Attack on Defense Department Computers Raises Concerns Next: Security Configuration Guides