A logic of access control

Computer Journal

Volumn 44, Issue 1, 2001, Pages 54-66

  Crampton, Jason ^a   Loizou, George ^a   O'Shea, Greg ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER OPERATING SYSTEMS; DATA ACQUISITION; DATABASE SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; MATRIX ALGEBRA; SET THEORY;

ACCESS CONTROL MECHANISM; CLOSED WORLD ASSUMPTION; MODAL LOGIC; SECURITY POLICY;

SECURITY OF DATA;

EID: 0035653031     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/44.1.54     Document Type: Article

References (27)

1. Redundant access rights
2. Policy driven management for distributed systems
3. Protection
4. Protection in operating systems
5. Reasoning about security models
6. The algebra of security
7. The Multics kernel design project
8. A modal logic formalism for distributed and parallel knowledge bases
9. Methods for automated theorem proving in non-classical logics
10. On the specification, validation and verification of security in access control systems
11. A calculus for access control in distributed systems
12. What you always wanted to know about Datalog (and never dared to ask)
13. Default databases: Extending the approach of deductive databases using default logic