基于属性的访问控制策略的正确性验证

• 作者: 刘志锋 吕江华 周从华 徐亚涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 基于属性的访问控制 模型检测 覆盖性验证 完整性验证
• 年，卷（期）: 2016,（18）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 98-103,132
• 页数: 7页
• 分类号: TP393
• 字数: 5491字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1410-0296

摘要

基于属性的访问控制策略以更精确的粒度控制着用户或进程对系统资源的访问，因此获得了越来越广泛的应用。然而必须保证所制定策略的正确性，才能防止对系统资源的非法访问，因此必须研制出一种有效的方法来验证策略的正确性。基于模型检测技术提出了一种访问控制策略的覆盖性与完整性验证方法。主要思想是将覆盖性与完整性验证归约为模型检测问题。将规则集与其变异分别视为模型，以模态逻辑公式描述其性质。调用模型检测算法，分别在模型及其变异模型上检测性质，生成反例报告以确定模型故障点和模型规则缺失点，同时分析性质本身的完善性，最终以完善后的模型和性质再次调用模型检测算法来完成覆盖性与完整性验证。实例分析结果表明覆盖性验证能够有效发现错误的规则，完整性验证能够有效识别验证规则的完备性。方法依托于模型检测工具完成，具有自动化程度高、易操作、测试结果可靠的特点。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
2	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0
3	吕江华	江苏大学计算机科学与通信工程学院	2	6	2.0	2.0
4	徐亚涛	解放军后勤指挥学院学术研究部	1	2	1.0	1.0