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

• 作者: 王正 许德武 韩建民 鲁剑锋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 访问控制 安全性 可用性 权限指派 SAT求解器 计算复杂度
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 安全技术
• 页码范围: 171-175,181
• 页数: 6页
• 分类号: TP309
• 字数: 6551字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2018.01.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩建民	浙江师范大学数理与信息工程学院	45	480	11.0	21.0
2	鲁剑锋	浙江师范大学数理与信息工程学院	13	70	4.0	8.0
3	许德武	浙江师范大学数理与信息工程学院	10	49	4.0	7.0
4	王正	浙江师范大学数理与信息工程学院	4	1	1.0	1.0