The Tokeneer project was commissioned by the NSA from Praxis High Integrity Systems as a demonstrator of high-assurance software engineering. Developed using Praxis. The link for this article located at net-security is no longer available. . The link for this article located at net-security is no longer available.. tokeneer, project, commissioned, praxis, integrity, systems, demonstrato. . Bill Locke
Get the latest Linux and open source security news straight to your inbox.