论文部分内容阅读
RBAC是一种基于角色访问控制模型,该模型通过角色为核心,并加以各种约束,完成对用户权限的管理指派,本文通过引用E-CARGO模型对RBAC进行形式化建模,并用该模型解决RBAC中的角色指派和用户指派冲突。
RBAC is a role-based access control model, which takes the roles as the core and various constraints to complete the assignment of user rights. This paper formally models RBAC by reference to E-CARGO model and uses this model to solve Role Assignment and User Assignment Conflicts in RBAC.