Permission to speak: a logic for access control and conformance

DOI10.1016/J.JLAP.2009.12.002zbMATH Open1207.68115OpenAlexW1984814758MaRDI QIDQ615900FDOQ615900

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

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

zbMATH Keywords

deontic logicmodal logicaccess controlconformance

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• 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
• Title not available (Why is that?)
• Information Security
• 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)