DocumentCode
2747679
Title
Assurance for the Trusted Mach operating system
Author
Branstad, M. ; Landauer, J.
Author_Institution
Trusted Inf. Syst. Inc., Glenwood, MD
fYear
1989
fDate
19-23 Jun 1989
Firstpage
103
Lastpage
108
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPASS.1989.76047
Filename
76047
Link To Document