Specifying and Reasoning About Dynamic Access-Control Policies

DOI10.1007/11814771_51zbMath1222.68361OpenAlexW1599739130MaRDI QIDQ3613438

Kathi Fisler, Daniel J. Dougherty, 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)

Related Items (6)

A graph-based framework for the analysis of access control policies ⋮ Component-Based Security Policy Design with Colored Petri Nets ⋮ A novel logic-based automatic approach to constructing compliant security policies ⋮ A metamodel of access control for distributed environments: applications and properties ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Termination of Priority Rewriting

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