Explore top 10 tips to secure your open-source projects now. Read More

×
Alerts This Week
Warning Icon 1 433
Alerts This Week
Warning Icon 1 433

Understanding Secure Systems Through NSA’s Tokeneer Project

Calendar Oct 07, 2008 • User Avatar Bill Locke
1 min read
General Esm H446
Topics%20covered

Topics Covered

software engineering secure systems Tokeneer project high assurance NSA guidelines
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.