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: | 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 |
Similar Items
-
Automated Testing for RBAC Policies
Published: (2014) -
RBAC-SC: Role-Based Access Control Using Smart Contract
by: Jason Paul Cruz, et al.
Published: (2018-01-01) -
Secure Cloud-Mediator Architecture for Mobile-Government using RBAC and DUKPT
by: Qasem Kharma, et al.
Published: (2020-03-01) -
A Platform for Assessing the Efficiency of Distributed Access Enforcement in Role Based Access Control (RBAC) and its Validation
by: Komlenovic, Marko
Published: (2011) -
A Platform for Assessing the Efficiency of Distributed Access Enforcement in Role Based Access Control (RBAC) and its Validation
by: Komlenovic, Marko
Published: (2011)