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

• Tipo: Artigo em Revista Científica Internacional
• Data: 2015

Autores

Alves, S (Autor) FCUP; Fernandez, M (Autor) Outra

Revista

Título: Electronic Notes in Theoretical Computer Science

Vol. 312

Páginas: 89-105

ISSN: 1571-0661

Editora: Elsevier

Indexação

ISI Web of Knowledge - 7 Citações

Scopus - 7 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 17