Title :
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
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;
Conference_Titel :
Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-1939-2
DOI :
10.1109/SECPRI.1989.36294
