|
|||||
|
|
| 攻击图的网络威胁自动建模方法研究 | |
| 引用本文： | 程叶霞,姜文,薛质,程叶燕.攻击图的网络威胁自动建模方法研究[J].通信技术,2012(9):86-89,92. |
| 作者姓名： | 程叶霞 姜文 薛质 程叶燕 |
| 作者单位： | 1. 上海交通大学信息安全工程学院,上海 200240 2. 国家计算机网络应急技术处理协调中心,北京 100029 3. 吉林化工学院,吉林 132022 |
| 基金项目： | 国家自然科学基金项目（批准号：61171173） |
| 摘 要： | 为了增强网络的安全性,对网络整体进行威胁分析和评估应用,结合攻击图的特点,研究并提出了一种攻击图的网络威胁自动化建模方法。在攻击图生成之前,抽象出网络威胁数学模型,包括主机信息、拓扑信息、漏洞信息和攻击者信息四个组成部分。并针对所建的网络威胁模型提出自动建模方法和具体的自动化流程。基于此,结合攻击事件的Büchi模型和CTL描述,使用符号模型检验算法自动生成攻击图,为攻击图的应用奠定基础。 |
| 关 键 词： | 网络威胁 攻击图 自动建模 模型检验 漏洞 |
Automatic Network Threats Modeling for Attack Graph |
|
| CHENG Ye-xia①,JIANG Wen②,XUE Zhi①,CHENG Ye-yan.Automatic Network Threats Modeling for Attack Graph[J].Communications Technology,2012(9):86-89,92. | |
| Authors: | CHENG Ye-xia① JIANG Wen② XUE Zhi① CHENG Ye-yan |
| Affiliation: | ③(①School of Information Security Engineering,Shanghai Jiaotong University,Shanghai 200240,China; ②National Computer Network Emergency Response Technical Team/Coordination Center of China,Beijing 100029,China; ③Jilin Institute of Chemical Technology,Jilin City Jilin 132022,China) |
| Abstract: | |
| Keywords: | network threats attack graph automatic modeling model checking vulnerability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
