RBAC中职责分离策略的一致性分析与判定方法

摘要 针对基于角色的访问控制模型中职责分离策略易存在冗余、冲突等一致性问题，提出一种职责分离策略的一致性分析与判定方法.从职责分离策略之间的一致性和职责分离策略与权限衍生关系之间的一致性两个方面对职责分离策略的一致性问题进行了分析.分别对两种一致性问题进行了形式化定义并给出了相应判定定理.基于一致性判定定理，给出了职责分离策略的一致性判定算法，从正确性和复杂度两个方面分析了算法的正确性和执行效率，说明算法可有效判定系统中职责分离策略的一致性.最后，实例分析验证了一致性分析与判定方法的可行性和算法的有效性