一种高阶权限指派约束的安全性与一致性验证

摘要：

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

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

所属期刊栏目：44

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61402418,61672468;教育部人文社科研究项目12YJCZH142;浙江省公益技术研究社会发展项目2017C33054;浙江省自然科学基金LY13F020017,LY15F020013

在线出版日期：2018-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：171-175,181