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

被引：5

作者：

程叶霞 ^{[1
]}

姜文 ^{[2
]}

薛质 ^{[1
]}

程叶燕 ^{[3
]}

机构：

[1] 上海交通大学信息安全工程学院

[2] 国家计算机网络应急技术处理协调中心

[3] 吉林化工学院

来源：

通信技术 | 2012年 / 09期

关键词：

网络威胁; 攻击图; 自动建模; 模型检验; 漏洞;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

摘要：

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

引用

页码：86 / 89+92 +92

页数：5

共 10 条

[1]

企业信息管理云平台的设计与实现[J] 杜庆灵; 通信技术 2012, 06

[2]

基于击键特征匹配的单点登录系统 [J].