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

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

Autores

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

Revista

Título: Theoretical Computer Science

Vol. 685

Páginas: 3-22

ISSN: 0304-3975

Editora: Elsevier

Indexação

ISI Web of Knowledge - 15 Citações

Scopus - 19 Citações

Outras Informações

ID Authenticus: P-00M-C6D

DOI: 10.1016/j.tcs.2016.10.018

Abstract (EN): We design a graph-based 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 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: 20