Paper Info
Title
Noninterference and unwinding for LOCK
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
Year
DOI
Venue
1989
10.1109/CSFW.1989.40583
Franconia, NH
Keywords
Field
DocType
automata theory,security of data,lock noninterference policy,abstract noninterference policy,multi-level security policies,security properties,unwinding theorem,data analysis,access control,data security
Automata theory,Data security,Lock (computer science),Computer science,Computer security,Access control,Security properties,Distributed computing
Conference
Citations 
PageRank 
References 
12
2.43
6
Authors
4
Name
Order
Citations
PageRank
Todd Fine1122.43
J. Thomas Haigh214533.63
Richard C. O'brien36817.74
Dana L. Toups4243.69