TrustedBSD

See also: BSD Distributions | POSIX | Operating Systems

Home Page: http://www.trustedbsd.org

From their homepage:

The TrustedBSD project provides a set of trusted operating system extensions to the FreeBSD operating system, targeting the Common Criteria for Information Technology Security Evaluation (CC). This project is still under development, and much of the code is destined to make its way back into the base FreeBSD operating system. This Web site will provide access to documentation, code relating to features that are still under development, and code that has its fingers in too many places to justify integrating into the base operating system.

TakeDown.NET -> “TrustedBSD”