Authorization and Obligation Policies in Dynamic Systems

DOI10.1007/978-3-540-89982-2_7zbMath1185.68753OpenAlexW1563180800WikidataQ109585635 ScholiaQ109585635MaRDI QIDQ5504643

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)

Related Items (3)

A graph-based framework for the analysis of access control policies ⋮ A framework for the analysis of access control policies with emergency management ⋮ A Typed Language for Events

Cites Work

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

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