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

摘要：

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

关键词：网络威胁、攻击图、自动建模、模型检验、漏洞

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2012-12-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：86-89