A Logic for State-Modifying Authorization Policies

DOI10.1007/978-3-540-74835-9_14MaRDI QIDQ3521244zbMATH OpenOpenAlexFDO

Authors Moritz Y. Becker, Sebastian Nanz

Publication date 21 August 2008

Published in Computer Security – ESORICS 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74835-9_14

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25)

Recommendations

• Logical approaches to authorization policies
• A linear logic of authorization and knowledge
• Specifying and Reasoning About Dynamic Access-Control Policies
• An authorization model and its formal semantics
• Logics in access control: a conditional approach

Cited in

(4)

• A framework for linear authorization logics
• Logical approaches to authorization policies
• On the complexity of linear authorization logics
• A linear logic of authorization and knowledge

This page was built for publication: A Logic for State-Modifying Authorization Policies

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