Erratum: A logic of access control (The Computer Journal (2001) 44 1 (54-66))

Computer Journal

Volumn 44, Issue 2, 2001, Pages 137-149

  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

ERRORS;

EID: 0035657915     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/44.2.137     Document Type: Erratum

References (27)

1. Redundant access rights
2. Policy driven management for distributed system
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