Permission to speak: a logic for access control and conformance

DOI10.1016/J.JLAP.2009.12.002MaRDI QIDQ615900zbMATH OpenOpenAlexFDO

Authors 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

deontic logicmodal logicaccess controlconformance

Mathematics Subject Classification ID

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

Recommendations

• A logic of access control
• A logic of access control
• Logic of defeasible permission and its dynamics
• The dynamic logic of permission
• Logics in access control: a conditional approach
• A Modal Deconstruction of Access Control Logics
• Specifying and Reasoning About Dynamic Access-Control Policies
• A concurrent constraint programming interpretation of access permissions

Cites work

• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• A Modal Deconstruction of Access Control Logics
• A guide to completeness and complexity for modal logics of knowledge and belief
• A kripke-kleene semantics for logic programs*
• A logic for default reasoning
• A logic of access control
• Access control in a core calculus of dependency
• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Contrary-to-duty obligations
• Formal specification of security requirements using the theory of normative positions
• Input/output logics
• Law and logic
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• Multi-agent only knowing
• Outline of a Theory of Truth
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• Run-Time Monitoring of Electronic Contracts
• The deliberative stit: A study of action, omission, ability, and obligation

Cited in

(8)

• A rewriting framework and logic for activities subject to regulations
• Authorization and Obligation Policies in Dynamic Systems
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• scientific article; zbMATH DE number 1947534 (Why is no real title available?)
• Information Security
• On obligations
• Modal access control logic. Axiomatization, semantics and FOL theorem proving
• Reasoning about permitted announcements

This page was built for publication: Permission to speak: a logic for access control and conformance

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