张恒巍，余定坤，寇　广，韩继红

（解放军信息工程大学，郑州　450001）

基于状态约减的信息攻防图生成算法*

张恒巍，余定坤，寇广，韩继红

（解放军信息工程大学，郑州450001）

针对攻防图构建中存在的状态爆炸问题，提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上，对独立状态节点的权限进行对比；其在保留最高权限节点的前提下，实现对低权限节点的约减，并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。

攻防图，状态爆炸，节点权限，状态约减

0　引言

攻击图是一种攻击行为建模方法，其从攻击者的角度出发，在分析网络结构和系统漏洞的基础上，生成攻击路径，展现针对特定系统的攻击预案集合，能够帮助安全管理人员开展安全风险评估和防御策略选择［1-3］。但是，攻击图所关注的仅是攻击者的行为，并没有考虑防御者可能采取的手段，而信息攻防是攻击者和防御者互相对抗博弈的过程，安全状态及下一步的变化情况是由攻击与防御行为共同决定的，信息安全受双方的对抗行为以及行为所造成结果的影响［4-5］。因此，不能仅从攻击者角度出发，而应将防御行为也考虑进来，从攻防双方的角度出发，建立攻防行为模型，更加全面、准确地反映信息系统安全的实际情况。

有学者在攻击图的基础上进一步提出了攻防图模型。文献［5］提出了用于网络安全测评的防御图模型的概念和定义，但未进一步给出防御图建模、生成方法。……