Attached is a document that discusses Trusted Operating Systems (which are really just well designed, full featured operating systems) and specifically covers the ideas of access control systems...