基于转换的攻击图分析探究方法探究.pdfVIP

第 12期 电 子 学 报 Vo1．42 No．12 2014年 12月 ACI1AEU￡CIR0NICASINICA Dec． 2014 基于转换的攻击图分析方法研究 闫 峰 ，一，刘淑芬 ，冷 煌 (1．吉林大学计算机科学与技术学院，吉林长春 130012；2．吉林省福利彩票发行管理中心，吉林长春 130061) 摘 要： 攻击图是一种分析计算机网络脆弱性的有效工具 ，它以图的方式描述了攻击者利用系统漏洞和单元间 脆弱性信息综合入侵 目标网络的行为过程．针对攻击图的最优弥补集问题 ，文章论证了最优弥补集问题与加权碰集问 题之间的等价性，并提供了相应的形式化转换方法 ．在不增大问题规模 的前提下，本文将最优弥补集问题形式化地转 换为单一的加权碰集问题以进行求解．理论和实验均表明，在收敛于全局最优解方面，基于转换的分析方法较传统方 法有更好的性能．