攻击图的网络威胁自动建模方法研究

摘要

为了增强网络的安全性，对网络整体进行威胁分析和评估应用，结合攻击图的特点，研究并提出了一种攻击图的网络威胁自动化建模方法。在攻击图生成之前，抽象出网络威胁数学模型，包括主机信息、拓扑信息、漏洞信息和攻击者信息四个组成部分。并针对所建的网络威胁模型提出自动建模方法和具体的自动化流程。基于此，结合攻击事件的Büchi模型和CTL描述，使用符号模型检验算法自动生成攻击图，为攻击图的应用奠定基础。