Authorization and Obligation Policies in Dynamic Systems

DOI10.1007/978-3-540-89982-2_7MaRDI QIDQ5504643zbMATH OpenOpenAlexWikidataFDO

Authors Jorge Lobo, Michael Gelfond

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_7

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Analysis of dynamic policies
• Logical approaches to authorization policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• Permission to speak: a logic for access control and conformance
• scientific article; zbMATH DE number 1405884

Cites work

• A logic-based calculus of events
• ACLP: Abductive Constraint Logic Programming
• Flexible support for multiple access control policies
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Reasoning agents in dynamic domains
• Representing actions in logic programs and default theories a situation calculus approach

Cited in

(10)

• A graph-based framework for the analysis of access control policies
• scientific article; zbMATH DE number 2080689 (Why is no real title available?)
• scientific article; zbMATH DE number 2090876 (Why is no real title available?)
• A framework for the analysis of access control policies with emergency management
• scientific article; zbMATH DE number 2209425 (Why is no real title available?)
• A typed language for events
• Deontic equilibrium logic with explicit negation
• Plan selection framework for policy-aware autonomous agents
• An ASP framework for the refinement of authorization and obligation policies
• An expressive model for the specification and analysis of obligations

This page was built for publication: Authorization and Obligation Policies in Dynamic Systems

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