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 assignment rules this algorithm takes linear time in size of access policies set.