【作者】 杨晓静； 赵霖；
【机构】 西安电子科技大学研究生学院； 西安电子科技大学研究生学院 陕西西安710068； 西安石油学院计算机系； 陕西西安710071； 陕西西安710068；
【摘要】 角色互斥是一种实施职责划分的有效手段。文章在形式化描述的基础上从两个方面对角色互斥进行划分 ,探讨各种互斥的性质及其相互关系。同时给出确保职责划分不被违反的安全条件 ,证明静态 /完全互斥是满足安全条件的充分条件 ,而部分互斥则是必要条件。互斥越严格 ,安全性越好。更多还原
