摘要：攻击图是一种分析计算机网络脆弱性的有效工具，它以图的方式描述了攻击者利用系统漏洞和单元间脆弱性信息综合入侵目标网络的行为过程。针对攻击图的最优弥补集问题，文章论证了最优弥补集问题与加权碰集问题之间的等价性，并提供了相应的形式化转换方法。在不增大问题规模的前提下，本文将最优弥补集问题形式化地转换为单一的加权碰集问题以进行求解。理论和实验均表明，在收敛于全局最优解方面，基于转换的分析方法较传统方法有更好的性能。

关键词：攻击图 最优弥补集 转换 全局最优解 

单位：吉林大学计算机科学与技术学院; 吉林长春130012; 吉林省福利发行管理中心; 吉林长春130061