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...
Main Author: | |
---|---|
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 |