点击次数：

发布时间：2018-12-18

第一作者：王正

发表时间：2018-01-01

发表刊物：计算机工程

所属单位：数理与信息工程学院

文献类型：期刊

卷号：第44卷

期号：第1期

页面范围： 171-175，181

ISSN号：1000-3428

关键字：访问控制；安全性；可用性；权限指派；SAT求解器；计算复杂度

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

是否译文：否