攻击图的自动生成和可视化及其在计算机和SCADA网络中的应用

来源：无线电通信技术, 2019, 45(04): 396.

<正>为了确保信息物理系统(CPS)和物联网系统的安全,我们需要识别对手如何利用现有原子漏洞之间的相互依赖性来组织可能危及系统的攻击。因此,在系统安全中,生成准确的攻击图十分重要。基于手动构建攻击图繁琐且容易出错的原因,Alaa T. Al Ghazo等人2019年5月在《IEEE系统:人和控制论会刊》发表文章,提出了一种基于模型检验的自动攻击图生成器和可视化工具(A2G2V)。A2G2V算法使用现有的模型检验工具、架构描述工具和自编代码来生成攻击图,该攻击图列举了原