| 基于转换的攻击图分析方法研究 |
| |
| 引用本文： | 闫峰,刘淑芬,冷煌. 基于转换的攻击图分析方法研究[J]. 电子学报, 2014, 42(12): 2477. DOI: 10.3969/j.issn.0372-2112.2014.12.20 |
| |
| 作者姓名： | 闫峰 刘淑芬 冷煌 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院，吉林长春 130012; 吉林省福利彩票发行管理中心，吉林长春 130061
2. 吉林大学计算机科学与技术学院,吉林长春,130012 |
| |
| 基金项目： | 国家863高技术研究发展计划重点项目(No．2009AA010314863)；国家自然科学基金 |
| |
| 摘 要： | 攻击图是一种分析计算机网络脆弱性的有效工具，它以图的方式描述了攻击者利用系统漏洞和单元间脆弱性信息综合入侵目标网络的行为过程。针对攻击图的最优弥补集问题，文章论证了最优弥补集问题与加权碰集问题之间的等价性，并提供了相应的形式化转换方法。在不增大问题规模的前提下，本文将最优弥补集问题形式化地转换为单一的加权碰集问题以进行求解。理论和实验均表明，在收敛于全局最优解方面，基于转换的分析方法较传统方法有更好的性能。
|
| 关 键 词： | 攻击图 最优弥补集 转换 全局最优解 |
| 收稿时间： | 2013-08-01 |
Study on Analysis of Attack Graphs Based on Conversion |
| |
| YAN Feng,LIU Shu-fen,LENG Huang. Study on Analysis of Attack Graphs Based on Conversion[J]. Acta Electronica Sinica, 2014, 42(12): 2477. DOI: 10.3969/j.issn.0372-2112.2014.12.20 |
| |
| Authors: | YAN Feng LIU Shu-fen LENG Huang |
| |
| Abstract: | |
| |
| Keywords: | attack graph optimization security measure conversion global optimal solution |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载免费的PDF全文 |
