基于E-cargo模型的RBAC冲突约束研究

Research on RBAC constraint conflict based on E-cargo model

RBAC是一种基于角色访问控制模型,该模型通过角色为核心,并加以各种约束,完成对用户权限的管理指派,本文通过引用E-CARGO模型对RBAC进行形式化建模,并用该模型解决RBAC中的角色指派和用户指派冲突。

RBAC is a kind ofrole based access control model, the model is the core of the role, and to various constraints, assigned to user rights management, by using E-CARGO model to formal model ofRBAC, the model is used to solve RBAC in the role assignment and user assignment conflict.