A Modal Deconstruction of Access Control Logics
From MaRDI portal
Publication:5458361
DOI10.1007/978-3-540-78499-9_16zbMath1138.03318MaRDI QIDQ5458361
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
Related Items
Adaptively applying modus ponens in conditional logics of normality, Constructive Modalities with Provability Smack, Deriving dualities in pointfree topology from Priestley duality, The logic of secrets and the interpolation rule, Permission to speak: a logic for access control and conformance, Combining and automating classical and non-classical logics in classical higher-order logics, Fibred security language, A framework for linear authorization logics, Game Semantics for Access Control, A Conditional Constructive Logic for Access Control and Its Sequent Calculus, Logic in Access Control (Tutorial Notes)