This section collects research on Logics for access control.
- Says.md - the basic modal logics of "Saying that" started in the early 1990s by Burrows, Abadi, Needham, Garg and others.
- ACL - from Access Control Lists to Access Control Logics
- ACLsDon't - an analysis of the argument against ACLs and in favor of capabilities. It turns out that AC logic with proofs is a form of capabilities.
- RelBac - a description logic for access control based on simple relations
- Verifiable Credentials - a description of the Verifiable Credentials Data Model - and some problems discovered with the current mapping to N3