Information on the TrustedBSD Project may be found at:

    http://www.TrustedBSD.org/

Many components of TrustedBSD will be shipped as part of the FreeBSD 5.x and
subsequent branches as experimental features.  More information may be found
on the FreeBSD and TrustedBSD web sites.

Brief summary of TrustedBSD:

    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).  Features
    include support for extensible kernel access control, mandatory
    access control, a port of the SELinux FLASK/TE work to FreeBSD as
    SEBSD, improvements in system privilege, access control lists,
    file system extended attributes, and fine-grained security event
    auditing.