论文部分内容阅读
职责分离(SoD)是访问控制系统的基本原则之一.互斥约束是RBAC实现静态职责分离(SSoD)策略的一种重要方法.本文介绍了在RBAC系统实现SSoD策略的两种约束:RSSoD约束和SMER约束,分别给出定义,并分析和比较检查RBAC状态是否满足RSSoD约束和SMER约束的时间复杂度.