Permission to speak: a logic for access control and conformance
type: Item
instance of: scholarly article
title: Permission to speak: a logic for access control and conformance
zbMATH Open document ID: 1207.68115
author: Nikhil Dinesh
author: Insup Lee
author: Oleg Sokolsky
author: Aravind K. Joshi
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-01-07T00:00:00Z
Mathematics Subject Classification ID: 68M99
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5833477
zbMATH Keywords: access control
zbMATH Keywords: conformance
zbMATH Keywords: modal logic
zbMATH Keywords: deontic logic
MaRDI profile type: Publication
full work available at URL: j.jlap.2009.12.002
OpenAlex ID: W1984814758
cites work: Access control in a core calculus of dependency
cites work: A logic of access control
cites work: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
cites work: A kripke-kleene semantics for logic programs*
cites work: A Modal Deconstruction of Access Control Logics
cites work: Q5296763
cites work: Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
cites work: Multi-agent only knowing
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: Complete Axiomatizations for Reasoning about Knowledge and Time
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: Formal specification of security requirements using the theory of normative positions
cites work: Law and logic
cites work: Outline of a Theory of Truth
cites work: Run-Time Monitoring of Electronic Contracts
cites work: Q4296748
cites work: Input/output logics
cites work: Contrary-to-duty obligations
cites work: A logic for default reasoning
cites work: Q4340161
DOI: 10.1016/J.JLAP.2009.12.002
Recommended article: A logic of access control
Recommended article: Logic of defeasible permission and its dynamics
Recommended article: The dynamic logic of permission
Recommended article: Logics in access control: a conditional approach
Recommended article: A Modal Deconstruction of Access Control Logics
Recommended article: Specifying and Reasoning About Dynamic Access-Control Policies
Recommended article: A concurrent constraint programming interpretation of access permissions
description: scientific article; zbMATH DE number 5833477