| 一种新的协议安全漏洞检测方法 |
| |
| 引用本文： | 李卓君.一种新的协议安全漏洞检测方法[J].计算机安全,2012(7):79-82. |
| |
| 作者姓名： | 李卓君 |
| |
| 作者单位： | 武汉商业服务学院,湖北武汉,430056 |
| |
| 摘 要： | 提出一种新的方法来检测网络协议中的安全漏洞,它将变异分析和模型检测技术引入到模糊测试中,提供一种综合的协议安全测试方法。该方法可以模拟协议的行为,自动产生测试用例。
|
| 关 键 词： | 协议安全检测 变异分析 模型检测 模糊测试 |
An New Security Vulnerability Detection Method for Protocol Implementation |
| |
| Li Zhuo-Jun.An New Security Vulnerability Detection Method for Protocol Implementation[J].Network & Computer Security,2012(7):79-82. |
| |
| Authors: | Li Zhuo-Jun |
| |
| Affiliation: | Li Zhuo-Jun |
| |
| Abstract: | This paper proposes a new method to detect security vulnerabilities in network protocols, which introduces mutation analysis and model checking into fuzz testing and provides a synthesized protocol security testing. This method is simulated the behavior of protocols, automatically generated test cases. |
| |
| Keywords: | worocol security testing mutation analysis model checking fuzz testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
