• SGI B1 Sample Source Code
   

• Software Technology Review: Trusted Operating Systems (funded by Software Engineering Institute (SEI))
• USENIX Technical Program - Abstract - Security Symposium 99
• TOS and Apache Website Attack How a trusted OS can help to secure a webserver. Written by Jeff Thompson.
• IPFMS: Trusted Operating System Describes why TOS is important.
• Common Criteria Project
• NOT the Orange Book- A guide to the Definition, Specification, Tasking, and Documentaion for the Development of Secure Computer Systems
• Rainbow Series
• Information on Configurable Access Control Efforts
• Rule Set Based Access Control (RSBAC) for Linux
• DoD MLS Working Group Conference
• What could have been IEEE 1003.1e/2c
• ITSEC website
   

If you have any information that you would like added to this page, please use our Contact Us section.