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