基于抽象和搜索空间划分的安全性判定方法

• 作者: 华明辉 周从华 宋香梅 王昌达 鞠时光
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 访问控制 谓词抽象 安全性分析 模型检测 可信评估
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 55-59
• 分类号: TP309.2
• 字数: 8175字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.10.011

摘要

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王昌达	江苏大学计算机科学与通信工程学院	50	237	9.0	13.0
2	鞠时光	江苏大学计算机科学与通信工程学院	159	1685	21.0	34.0
3	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
4	华明辉	江苏大学计算机科学与通信工程学院	2	3	1.0	1.0
5	宋香梅	江苏大学计算机科学与通信工程学院	14	82	5.0	8.0