Authorization and Obligation Policies in Dynamic Systems

DOI10.1007/978-3-540-89982-2_7zbMATH Open1185.68753OpenAlexW1563180800WikidataQ109585635 ScholiaQ109585635MaRDI QIDQ5504643FDOQ5504643

Michael Gelfond, Jorge Lobo

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

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
• Publication:4938879

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• A framework for the analysis of access control policies with emergency management
• Title not available (Why is that?)
• A graph-based framework for the analysis of access control policies
• Title not available (Why is that?)
• A Typed Language for Events
• Deontic equilibrium logic with explicit negation
• Plan selection framework for policy-aware autonomous agents

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)