攻击图的两种形式化分析

• 作者: 张怡 苏金树 陈锋 韩文报
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 脆弱性 攻击图 有效攻击路径 最优弥补集 贪婪算法
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 838-848
• 页数: 11页
• 分类号: TP393
• 字数: 8675字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03584

摘要

攻击图是一种基于模型的网络脆弱性分析技术,可以自动分析目标网络内脆弱性之间的关系和由此产生的潜在威胁.攻击图主要有状态攻击图和属性攻击图两类.前者由于存在状态爆炸问题不适应于大规模网络,目前主要的研究大多是基于后者.基于属性攻击图研究了含圈攻击路径问题和最优弥补集问题.针对含圈攻击路径问题,定义了反映真实攻击想定的n-有效攻击路径,提出了一种计算关键属性集所有n-有效攻击路径的迭代算法;针对最优弥补集问题,在定义了所有的风险源为属性攻击图的初始属性的基础上,将该问题转化为带权重的集合覆盖问题,从而归结为NP完全性问题,提出了可应用于大规模攻击图的具有多项式时间复杂度的近似算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏金树	国防科学技术大学计算机学院	64	1757	15.0	41.0
2	韩文报	解放军信息工程大学信息工程学院	60	318	8.0	16.0
3	张怡	国防科学技术大学计算机学院	25	351	9.0	18.0
4	陈锋	国防科学技术大学计算机学院	5	165	5.0	5.0