Specifying and Reasoning About Dynamic Access-Control Policies

DOI10.1007/11814771_51MaRDI QIDQ3613438zbMATH OpenOpenAlexFDO

Authors Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_51

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Analysis of dynamic policies
• On the decidability of the safety problem for access control policies
• Graph-based specification of access control policies
• A logic of access control
• Logical approaches to authorization policies

Cited in

(21)

• Stratified abstraction of access control policies
• Verification and enforcement of access control policies
• A graph-based framework for the analysis of access control policies
• Analysis of dynamic policies
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• Monitoring metric first-order temporal properties
• PTaCL: a language for attribute-based access control in open systems
• A Formal Model and Correctness Proof for an Access Control Policy Framework
• Component-Based Security Policy Design with Colored Petri Nets
• Defense in Depth Formulation and Usage in Dynamic Access Control
• Logic–Based Detection of Conflicts in Appel Policies
• A Logic for State-Modifying Authorization Policies
• Termination of Priority Rewriting
• A novel logic-based automatic approach to constructing compliant security policies
• An abstract dynamic access control architecture
• A metamodel of access control for distributed environments: applications and properties
• Foundations of Software Science and Computation Structures
• Model checking agent knowledge in dynamic access control policies
• Authorization and Obligation Policies in Dynamic Systems
• Permission to speak: a logic for access control and conformance
• Time dependent policy-based access control

This page was built for publication: Specifying and Reasoning About Dynamic Access-Control Policies

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