马俊春，孙继银，王勇军，赵宝康，陈珊

(1.国防科学技术大学 计算机学院，湖南 长沙410073;2.第二炮兵工程学院，陕西 西安710025;3.中国人民解放军96617 部队，四川 泸州646000)

0 引言

攻击图展示了攻击者逐步利用网络中各脆弱点进行安全破坏的所有可能的攻击路径，安全管理员不仅可以利用它直观地了解目标网络中存在的潜在威胁，进行网络安全评估［1－3］，而且可以将它与IDS(入侵检测系统)等安全产品组合，根据实时安全事件预测攻击者的攻击意图［4－5］。因此，研究大规模复杂网络系统的攻击图构建方法具有重要的现实意义。

攻击图的构建方法经历了从手工分析到自动分析，从分析小型企业网络到大规模复杂网络的发展过程。目前，美国、英国、俄罗斯等都在该方面投入了大量的科研力量，并取得了显著的成果，比较典型的有:Qu 提出的基于Prolog 逻辑的模型构造算法——MulVAL［6］系统，Steven Noel 等开发的基于EDG 模 型 的TVA 系 统［7－8］，Lippmann 等 开 发 的NetSPA 系统［9－10］，等等。

目前已涌现出了多种攻击图构建方法，通过对现有方法进行总结分析发现，利用现有方法构建攻击图存在以下两方面的不足:第一，在现实的应用中，网络安全管理人员不仅需要知道攻击者可能从哪些路径入侵目标主机，还应该了解攻击者能够入侵网络内的哪些主机，但是现有的攻击图构建方法大部分只能用于分析单一攻击目标的安全性。第二，攻击图构建过程存在复杂度高、扩展性能低、状态爆炸等问题，导致攻击图生成时的系统资源消耗较大，从而难以适用于大规模复杂网络系统。……