基于安全状态约简的攻击图生成方法

摘要：

针对现有攻击图生成方法存在的状态爆炸导致攻击图规模庞大的问题,提出了一种基于安全状态约简的攻击图生成方法.该方法对现有的采用正向搜索策略和“单调性”假设的生成算法进行改进,对非目标主机的安全状态进行约简.针对非目标叶节点导致攻击图冗余的问题,设计了攻击图优化算法.模拟实验对比分析表明了所提方法的有效性.

关键词：攻击图、状态约简、原子攻击、脆弱性分析、网络安全

所属期刊栏目：34

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金项目61272486;国家青年科学基金项目NSFC,61202489

在线出版日期：2013-07-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1589-1592,1634