Title :
Noninterference and unwinding for LOCK
Author :
Fine, Todd ; Haigh, J. Thomas ; O´Brien, Richard C. ; Toups, Dana L.
Author_Institution :
Honeywell, Inc., Boston, MA, USA
Abstract :
The LOCK noninterference policy for analyzing security properties of systems is presented. An unwinding theorem is developed. Difficulties resulting from trying to apply an abstract noninterference policy to a real system are discussed. A comparison is made between the LOCK noninterference policy and other versions of noninterference
Keywords :
automata theory; security of data; LOCK noninterference policy; abstract noninterference policy; multi-level security policies; security properties; unwinding theorem; Access control; Data analysis; Data security;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40583
