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

fYear

1988

fDate

18-21 Apr 1988

Firstpage

27

Lastpage

38

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on

Conference_Location

Oakland, CA

Print_ISBN

0-8186-0850-1

Type

conf

DOI

10.1109/SECPRI.1988.8095

Filename

8095