| 基于漏洞模型检测的安全漏洞挖掘方法研究 |
| |
| 引用本文： | 徐有福,文伟平,万正苏. 基于漏洞模型检测的安全漏洞挖掘方法研究[J]. 信息网络安全, 2011, 0(8): 72-75. DOI: 10.3969/j.issn.1671-1122.2011.08.026 |
| |
| 作者姓名： | 徐有福 文伟平 万正苏 |
| |
| 作者单位： | 1. 北京大学软件与微电子学院,北京,102600
2. 湖南理工学院数学学院,湖南岳阳,414006 |
| |
| 摘 要： | 文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。
|
| 关 键 词： | 安全漏洞 自动机 模型检测 |
Vulnerability-based Model Checking of Security Vulnerabilities Mining Method |
| |
| XU You-fu,WEN Wei-ping,WAN Zheng-su. Vulnerability-based Model Checking of Security Vulnerabilities Mining Method[J]. Netinfo Security, 2011, 0(8): 72-75. DOI: 10.3969/j.issn.1671-1122.2011.08.026 |
| |
| Authors: | XU You-fu WEN Wei-ping WAN Zheng-su |
| |
| Affiliation: | XU You-fu1,WEN Wei-ping1,WAN Zheng-su2 ( 1.Department of Information Security,SSM,Peking University,Beijing 102600,China,2. Hunan Institute of Science and Technology School of mathematics,Yueyang Hunan 414006,China) |
| |
| Abstract: | The paper though studying automata theory, proposed a vulnerability-based model checking Mining vulnerability theory, as the bulk discover unknown vulnerabilities to provide a theoretical basis. |
| |
| Keywords: | security vulnerabilities automaton model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
