Title :
Assurance for the Trusted Mach operating system
Author :
Branstad, M. ; Landauer, J.
Author_Institution :
Trusted Inf. Syst. Inc., Glenwood, MD
Abstract :
The authors discuss the approach to assurance being taken for the Trusted Mach (TMach) operating system. TMach, organized as a kernel plus a collection of trusted and untrusted servers, achieves strong architectural assurance through its structure. The TMach system, approach to assurance, assurance through system structure, modeling, and design analysis are discussed. A copy-on-write example is given
Keywords :
operating systems (computers); TMach; Trusted Mach operating system; assurance; copy-on-write; kernel; servers; system structure; trusted; untrusted; Access control; Computer security; Information security; Information systems; Kernel; Operating systems; Performance analysis; Protection; System testing; Yarn;
Conference_Titel :
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location :
Gaithersburg, MD
DOI :
10.1109/CMPASS.1989.76047
