Title :
Applying a theory of modules and interfaces to security verification
Author :
Lam, Simon S. ; Shankar, A. Udaya ; Woo, Thomas Y C
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
An overview is given of a theory of modules and interfaces applicable to the specification and verification of systems with a layered architecture. At the heart of this theory is a module composition theorem. The theory is applied to the specification of a distributed system consisting of subjects and objects in different hosts (computers). Formal specifications of a user interface and a network interface are given. Access to objects, both local and remote, offered by the distributed system is proved to be multilevel secure
Keywords :
distributed processing; formal specification; program verification; security of data; user interfaces; distributed system; formal specification; layered architecture; module composition theorem; multilevel secure; network interface; security verification; user interface; Application software; Computer architecture; Computer science; Computer security; Distributed computing; Educational institutions; Formal specifications; Heart; Network interfaces; User interfaces;
Conference_Titel :
Research in Security and Privacy, 1991. Proceedings., 1991 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-2168-0
DOI :
10.1109/RISP.1991.130782
