Role Updating for Assignments
出版社：
摘要内容：
The role-based access control (RBAC) has signi?cantly simpli?edthe management of users and permissions in computing systems.In dynamic environments, systems are usually undergoing changes,whereas the associated user-role, role-role and role-permission re-lations need to be updated accordingly in order to re?ect the sys-tems’ evolutions. However, such updating process is generallycomplicated as the resulting system state is expected to meet neces-sary constraints. This paper presents an approach for assisting ad-ministrators with the update task: using this approach, it is possibleto check, in an automatic way, whether a required update is achiev-able or not, and if so, a reference model will be produced. In lightof this model, administrators could ful?ll the changes to RBACsystems. We propose a formalization of the update approach, in-vestigate its properties, and develop an updating algorithm basedon model checking techniques. Our experimental results demon-strate the effectiveness of our approach.
关键词：
- RBAC；Role Updating；Role Engineering；Model Checking
