A Modal Deconstruction of Access Control Logics

DOI10.1007/978-3-540-78499-9_16zbMath1138.03318OpenAlexW1518437764MaRDI QIDQ5458361

Martín Abadi, Deepak Garg

Publication date: 11 April 2008

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Logic in Access Control (Tutorial Notes), Adaptively applying modus ponens in conditional logics of normality, Permission to speak: a logic for access control and conformance, Deriving dualities in pointfree topology from Priestley duality, The logic of secrets and the interpolation rule, A framework for linear authorization logics, Combining and automating classical and non-classical logics in classical higher-order logics, A Conditional Constructive Logic for Access Control and Its Sequent Calculus, Game Semantics for Access Control, Fibred security language, Constructive Modalities with Provability Smack