论文部分内容阅读
提出了具有条件时态特性的角色访问控制（CT-RBAC）模型．以条件周期表达式为基础，通过条件来制约时态，从而将模型的时间控制维扩展为〈条件，时间〉的控制平面，将模型的时态控制平面〈时间，约束）扩展为〈条件，时间，约束〉的三维控制空间，以达到提高模型控制灵活性和多样性的目的．对条件周期以及并发执行的条件集进行了形式化描述，对条件事态的约束进行具体论述，通过阻塞路径优化条件元素的并发执行网络，并对Path（）运算复杂度及其优化做了定性探讨．