%0 Journal Article
%T RBAC中职责分离策略的一致性分析与判定方法
%A 刘洋
%A 杜学绘
%A 熊厚仁
%A 陈性元
%J 中山大学学报（自然科学版）
%D 2016
%X 摘要 针对基于角色的访问控制模型中职责分离策略易存在冗余、冲突等一致性问题，提出一种职责分离策略的一致性分析与判定方法.从职责分离策略之间的一致性和职责分离策略与权限衍生关系之间的一致性两个方面对职责分离策略的一致性问题进行了分析.分别对两种一致性问题进行了形式化定义并给出了相应判定定理.基于一致性判定定理，给出了职责分离策略的一致性判定算法，从正确性和复杂度两个方面分析了算法的正确性和执行效率，说明算法可有效判定系统中职责分离策略的一致性.最后，实例分析验证了一致性分析与判定方法的可行性和算法的有效性
%K 访问控制
%K 基于角色的访问控制
%K 职责分离
%K 互斥角色约束
%K 一致性
%U http://xwxt.sict.ac.cn/CN/abstract/abstract3416.shtml