论文部分内容阅读
现有权限指派约束往往侧重于保障系统的安全性而忽略了可用性。为此，提出一种兼顾安全性与可用性需求的高阶权限指派约束。定义高阶权限指派约束的安全性验证和一致性验证问题，分别为验证一个访问控制状态是否能够满足一个高阶权限指派约束，以及判断是否存在某个访问控制状态能够满足多个高阶权限指派约束，并证明其在一般情形下分别是NP-complete和NPNP问题。结合预处理及规约为可满足性问题的求解器，设计针对一致性验证问题的优化求解算法。仿真实验结果验证了该算法的有效性。