Role updating for assignments

13 years 7 months ago
Role updating for assignments
The role-based access control (RBAC) has significantly simplified the 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 relations need to be updated accordingly in order to reflect the systems’ evolutions. However, such updating process is generally complicated as the resulting system state is expected to meet necessary constraints. This paper presents an approach for assisting administrators with the update task: using this approach, it is possible to check, in an automatic way, whether a required update is achievable or not, and if so, a reference model will be produced. In light of this model, administrators could fulfill the changes to RBAC systems. We propose a formalization of the update approach, investigate its properties, and develop an updating algorithm based on model checking techniques. Our experimental results demonstrate the effe...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Authors Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
Comments (0)