A Framework for the Analysis of Access Control Policies with Emergency Management

• Type: Article in International Scientific Journal
• Date: 2015

Authors

Alves, S (Author) FCUP; Fernandez, M (Author) Other

Journal

Title: Electronic Notes in Theoretical Computer Science

Vol. 312

Pages: 89-105

ISSN: 1571-0661

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 7 Citations

Other information

Authenticus ID: P-00A-CA8

DOI: 10.1016/j.entcs.2015.04.006

Abstract (EN): We define a framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies, we show how answers to usual administrator queries can be automatically computed, and properties of access control policies can be checked. We show applications in the context of emergency situations, where our framework can be used to analyse the interaction between access control and emergency management.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17