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