基于状态约简的攻防图网络安全建模方法

摘要

为了更好地对网络所面临的安全威胁进行评估,从攻防双方的角度出发,基于攻防图对攻防行为进行建模,为下一步实施科学、准确的信息安全威胁评估奠定基础.但传统的攻防图在生成过程中存在若干问题,如状态空间爆炸、攻防图规模庞大、复杂等问题.为解决这些问题,本文从状态约简的思路出发,提出了一种基于状态约简的攻防图生成算法,并基于约简的攻防图建立网络中信息安全攻防对抗模型.最后,通过一个典型的网络实例分析对本文所提出的模型和方法进行了验证,结果表明本文的模型和方法是科学且有效的.