A framework for the analysis of access control policies with emergency management

DOI10.1016/J.ENTCS.2015.04.006zbMath1342.68190OpenAlexW2048107609WikidataQ113317808 ScholiaQ113317808MaRDI QIDQ530851

Maribel Fernández, Sandra Alves

Publication date: 1 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.006

zbMATH Keywords

operational semanticsrewritingaccess controlsecurity policiesgraph-based analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

A graph-based framework for the analysis of access control policies

Uses Software

• PORGY
• Ruby
• Binder

Cites Work

• Formal Specification and Validation of Security Policies
• Flexible support for multiple access control policies
• Authorization and Obligation Policies in Dynamic Systems
• Unnamed Item

This page was built for publication: A framework for the analysis of access control policies with emergency management