A logic of access control

DOI10.1093/COMJNL/44.1.54MaRDI QIDQ5890348zbMATH OpenOpenAlexFDO

Authors J. Crampton, Greg O'Shea, George Loizou

Publication date 14 October 2001

Published in The Computer Journal. Section A Section B (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/44.1.54

zbMATH Keywords

securityaccess control mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• A logic of access control
• Logic in Access Control (Tutorial Notes)
• On the decidability of the safety problem for access control policies
• Access control, security, and trust. A logical approach.
• Logics in access control: a conditional approach

Cited in

(22)

• Access control in a core calculus of dependency
• Logics in access control: a conditional approach
• On the decidability of the safety problem for access control policies
• Algebra and logic for access control
• scientific article; zbMATH DE number 4215344 (Why is no real title available?)
• scientific article; zbMATH DE number 1980974 (Why is no real title available?)
• Information Security
• Tableaux methods for access control in distributed systems
• Logic in Access Control (Tutorial Notes)
• Verification and enforcement of access control policies
• Access control, security, and trust. A logical approach.
• A Modal Deconstruction of Access Control Logics
• Permission to speak: a logic for access control and conformance
• Compiled labelled deductive systems for access control
• A logic of access control
• scientific article; zbMATH DE number 2112468 (Why is no real title available?)
• scientific article; zbMATH DE number 1836549 (Why is no real title available?)
• A formal study of collaborative access control in distributed Datalog
• Believing the integrity of a system (invited talk)
• Information Security
• Efficient and flexible access control via Jones-optimal logic program specialisation
• Layered graph logic as an assertion language for access control policy models

This page was built for publication: A logic of access control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890348)