A logic of access control
From MaRDI portal
Recommendations
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)
