智能与分布计算实验室

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