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

• 作者: 姜文 程叶燕 程叶霞 薛质
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 网络威胁 攻击图 自动建模 模型检验 漏洞
• 年，卷（期）: 2012,（9）
• 页码范围: 86-89
• 分类号: TP393.08
• 字数: 3663字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛质	上海交通大学信息安全工程学院	274	1489	18.0	25.0
2	姜文		3	8	2.0	2.0
3	程叶霞	上海交通大学信息安全工程学院	3	35	3.0	3.0
4	程叶燕		1	4	1.0	1.0