RBAC模式中互斥角色的性质及其安全性

【摘要】 角色互斥是一种实施职责划分的有效手段。文章在形式化描述的基础上从两个方面对角色互斥进行划分 ,探讨各种互斥的性质及其相互关系。同时给出确保职责划分不被违反的安全条件 ,证明静态 /完全互斥是满足安全条件的充分条件 ,而部分互斥则是必要条件。互斥越严格 ,安全性越好。更多还原