Permission to speak: a logic for access control and conformance

DOI10.1016/j.jlap.2009.12.002zbMath1207.68115OpenAlexW1984814758MaRDI QIDQ615900

Nikhil Dinesh, Insup Lee, Oleg Sokolsky, Aravind K. Joshi

Publication date: 7 January 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.12.002

zbMATH Keywords

modal logicdeontic logicconformanceaccess control

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer system organization (68M99)

Related Items

A rewriting framework and logic for activities subject to regulations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• Input/output logics
• The deliberative stit: A study of action, omission, ability, and obligation
• Contrary-to-duty obligations
• Multi-agent Only Knowing
• Access Control in a Core Calculus of Dependency
• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• Run-Time Monitoring of Electronic Contracts
• A kripke-kleene semantics for logic programs*
• Outline of a Theory of Truth
• Complete Axiomatizations for Reasoning about Knowledge and Time
• A Modal Deconstruction of Access Control Logics
• Law and logic
• Formal specification of security requirements using the theory of normative positions
• A Logic of Access Control