Hits :

First Author : 王正

Date of Publication : 2018-01-01

Journal : 计算机工程

Affiliation of Author(s) : 数理与信息工程学院

Document Type : 期刊

Volume : 第44卷

Issue : 第1期

Page Number : 171-175，181

ISSN : 1000-3428

Key Words : 访问控制；安全性；可用性；权限指派；SAT求解器；计算复杂度

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

Translation or Not : no