基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法

• 作者: 朱锦 王昌达
• 来源期刊: 计算机应用研究
• 关键词: 隐蔽信息流 抽象 搜索空间划分 模型检测
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1533-1536,1541
• 页数: 5页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.05.055

摘要

隐蔽信息流检测是开发可信计算机系统中的关键问题，而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法，在此基础上设计了广度优先的搜索空间划分方法，使得划分变量的选取范围更大，扩展了搜索空间划分的应用范围，克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明，结合抽象和搜索空间划分的方法有效降低了模型的验证规模，因此有效缓解了状态空间爆炸问题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王昌达	江苏大学计算机科学与通信工程学院	50	237	9.0	13.0
2	朱锦	江苏大学计算机科学与通信工程学院	1	1	1.0	1.0