论文部分内容阅读
具有层次继承和时态特性的角色访问控制模型是目前安全领域的研究热点．其理论基础是角色层次和时态周期理论；为此在分析基于条件时态的角色访问控制模型（CT—RBAC）和一般时态的角色访问控制模型（GTRBAC）的时态层次继承语义的基础上，对CT—RBAC访问控制模型的条件周期表达式进行扩展，将标识引入到条件周期表达式中，实现访问控制模型的条件约束多样性和灵活性。同时结合GTRBAC模型的层次继承语义．对角色层次继承的相关语义进行了分析，给出了角色层次继承的相关状态断言和谓词逻辑。并进一步完善了SSD权责分割策略