TrustedBSD Project
A set of trusted OS extensions, targeting the Common Criteria for Information Technology Security Evaluation (CC).
www.trustedbsd.org
FreeBSD Hardening Project
A set of modifications to the base FreeBSD system that, when applied, allow for a far more secure environment.
www.watson.org/fbsd-hardening