Title :
A secure distributed operating system
Author :
Casey, Thomas A., Jr. ; Vinter, Stephen T. ; Weber, D.G. ; Varadarajan, Rammohan ; Rosenthal, David
Author_Institution :
BBN Lab., Cambridge, MA, USA
Abstract :
Some issues in distributed system security are discussed in the context of the design of a secure distributed operating system (SDOS). The design is targeted for an A1 rating. Some developments in formal verification methods are reported. Distributed system security is contrasted with single-host and network security, and described in the context of the Trusted Network Interpretation. Problems unique to distributed system security are discussed. An argument is made for implementing security features in higher layers, corresponding roughly to the session through application layers of the OSI model. A security policy based on message-passing rather than reads and writes is described. The SDOS design is summarized
Keywords :
distributed processing; operating systems (computers); security of data; A1 rating; OSI model; SDOS; Trusted Network Interpretation; application layers; distributed system security; formal verification methods; message-passing; secure distributed operating system; Authentication; Communication system security; Documentation; File systems; Formal verification; Laboratories; Multilevel systems; Object oriented modeling; Operating systems; Runtime;
Conference_Titel :
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-0850-1
DOI :
10.1109/SECPRI.1988.8095
