A Framework for the Analysis of Access Control Policies with Emergency Management
Autor(a) principal: | |
---|---|
Data de Publicação: | 2015 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://repositorio.inesctec.pt/handle/123456789/5240 http://dx.doi.org/10.1016/j.entcs.2015.04.006 |
Resumo: | 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. © 2015 The Authors. Published by Elsevier B.V. |
id |
RCAP_9ab6ef466ec3efb4c8bbbc0ad50d85f0 |
---|---|
oai_identifier_str |
oai:repositorio.inesctec.pt:123456789/5240 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
|
spelling |
A Framework for the Analysis of Access Control Policies with Emergency ManagementWe 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. © 2015 The Authors. Published by Elsevier B.V.2018-01-02T15:39:19Z2015-01-01T00:00:00Z2015info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/5240http://dx.doi.org/10.1016/j.entcs.2015.04.006engSandra AlvesFernandez,Minfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-05-15T10:20:02ZPortal AgregadorONG |
dc.title.none.fl_str_mv |
A Framework for the Analysis of Access Control Policies with Emergency Management |
title |
A Framework for the Analysis of Access Control Policies with Emergency Management |
spellingShingle |
A Framework for the Analysis of Access Control Policies with Emergency Management Sandra Alves |
title_short |
A Framework for the Analysis of Access Control Policies with Emergency Management |
title_full |
A Framework for the Analysis of Access Control Policies with Emergency Management |
title_fullStr |
A Framework for the Analysis of Access Control Policies with Emergency Management |
title_full_unstemmed |
A Framework for the Analysis of Access Control Policies with Emergency Management |
title_sort |
A Framework for the Analysis of Access Control Policies with Emergency Management |
author |
Sandra Alves |
author_facet |
Sandra Alves Fernandez,M |
author_role |
author |
author2 |
Fernandez,M |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Sandra Alves Fernandez,M |
description |
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. © 2015 The Authors. Published by Elsevier B.V. |
publishDate |
2015 |
dc.date.none.fl_str_mv |
2015-01-01T00:00:00Z 2015 2018-01-02T15:39:19Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://repositorio.inesctec.pt/handle/123456789/5240 http://dx.doi.org/10.1016/j.entcs.2015.04.006 |
url |
http://repositorio.inesctec.pt/handle/123456789/5240 http://dx.doi.org/10.1016/j.entcs.2015.04.006 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
|
repository.mail.fl_str_mv |
|
_version_ |
1777302466074771456 |