Noninterference and unwinding for LOCK
- Resource Type
- Conference
- Authors
- Fine, T.; Haigh, J.T.; O'Brien, R.C.; Toups, D.L.
- Source
- Proceedings of the Computer Security Foundations Workshop II, Computer Security Foundations Workshop II, 1989., Proceedings of the. :22-28 1989
- Subject
- Computing and Processing
Communication, Networking and Broadcast Technologies
Access control
Data security
Data analysis
- Language
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.ETX