The hierarchical model of distributed system security

Author

Benson, G. ; Appelbe, W. ; Akyildiz, I.

Author_Institution

Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA

fYear

1989

fDate

1-3 May 1989

Firstpage

194

Lastpage

203

Abstract

A description is given of the hierarchical model (HM), an access matrix-based model used to define nondisclosure in distributed multilevel secure applications such as secure file systems, secure switches, and secure upgrade downgrade facilities. The HM explicitly encodes access rights, synchronization primitives, and indirection in its state matrix. Serializability of concurrent commands is formally defined in terms of the HM syntactic model of computation. HM serializability conditions are independent of the semantic security predicate. Finally, an example that illustrates the HM is presented

Keywords

distributed processing; security of data; HM serializability conditions; HM syntactic model of computation; access matrix-based model; access rights; concurrent commands; distributed multilevel secure applications; distributed system security; encodes; hierarchical model; indirection; nondisclosure; secure file systems; secure switches; secure upgrade downgrade facilities; semantic security predicate; state matrix; synchronization primitives; Application software; Computational modeling; Computer science; Concurrent computing; Distributed computing; File servers; File systems; Information security; Switches; Transaction databases;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Oakland, CA

Print_ISBN

0-8186-1939-2

Type

conf

DOI

10.1109/SECPRI.1989.36294

Filename

36294