Security Analysis of Interaction between RBAC Model and Distributed Administrative Model

This paper proposes a formal approach to security analysis of a RBAC model which specification contains a model of distributed administration for user role assignment. A high-level description of security verification algorithm is provided. It is shown that in case of specifying restrictions on role...

Full description

Bibliographic Details
Main Author: N. A. Semenova
Format: Article
Language:English
Published: Moscow Engineering Physics Institute 2011-09-01
Series:Bezopasnostʹ Informacionnyh Tehnologij
Subjects:
Online Access:https://bit.mephi.ru/index.php/bit/article/view/618
id doaj-5e373182569046fc86e3a11b365b9e78
record_format Article
spelling doaj-5e373182569046fc86e3a11b365b9e782020-11-24T22:34:27ZengMoscow Engineering Physics Institute Bezopasnostʹ Informacionnyh Tehnologij2074-71282074-71362011-09-011835056608Security Analysis of Interaction between RBAC Model and Distributed Administrative ModelN. A. SemenovaThis paper proposes a formal approach to security analysis of a RBAC model which specification contains a model of distributed administration for user role assignment. A high-level description of security verification algorithm is provided. It is shown that in case of specifying restrictions on role assignment rules this algorithm takes linear time in size of access policies set.https://bit.mephi.ru/index.php/bit/article/view/618role-based access controlsecurity analysisadministrative model
collection DOAJ
language English
format Article
sources DOAJ
author N. A. Semenova
spellingShingle N. A. Semenova
Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
Bezopasnostʹ Informacionnyh Tehnologij
role-based access control
security analysis
administrative model
author_facet N. A. Semenova
author_sort N. A. Semenova
title Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
title_short Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
title_full Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
title_fullStr Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
title_full_unstemmed Security Analysis of Interaction between RBAC Model and Distributed Administrative Model
title_sort security analysis of interaction between rbac model and distributed administrative model
publisher Moscow Engineering Physics Institute
series Bezopasnostʹ Informacionnyh Tehnologij
issn 2074-7128
2074-7136
publishDate 2011-09-01
description This paper proposes a formal approach to security analysis of a RBAC model which specification contains a model of distributed administration for user role assignment. A high-level description of security verification algorithm is provided. It is shown that in case of specifying restrictions on role assignment rules this algorithm takes linear time in size of access policies set.
topic role-based access control
security analysis
administrative model
url https://bit.mephi.ru/index.php/bit/article/view/618
work_keys_str_mv AT nasemenova securityanalysisofinteractionbetweenrbacmodelanddistributedadministrativemodel
_version_ 1725727469463404544