Layered graph logic as an assertion language for access control policy models

DOI10.1093/LOGCOM/EXV020MaRDI QIDQ2987042zbMATH OpenOpenAlexFDO

Authors Matthew Collinson, Kevin McDonald, David Pym

Publication date 17 May 2017

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/6c23c9c60e91fe7e50b2999eeb280e225a384304

zbMATH Keywords

access controllayered graphsmodellingsubstructural logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in artificial intelligence (68T27)

Recommendations

• Logical approaches to authorization policies
• Graph-based specification of access control policies
• Intuitionistic layered graph logic
• A logic of access control
• A logic of access control

Cited in

(8)

• Coalgebraic completeness-via-canonicity for distributive substructural logics
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• Intuitionistic layered graph logic
• Logical approaches to authorization policies
• A substructural logic for layered graphs
• Stone-type dualities for separation logics
• A substructural epistemic resource logic
• Abstract hidden Markov models: a monadic account of quantitative information flow

This page was built for publication: Layered graph logic as an assertion language for access control policy models

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