| 基于ProVerif的安全协议形式化分析与验证 |
| |
| 引用本文： | 汪卫.基于ProVerif的安全协议形式化分析与验证[J].计算机安全,2011(10):41-44. |
| |
| 作者姓名： | 汪卫 |
| |
| 作者单位： | 中南民族大学计算机学院,湖北武汉,430074 |
| |
| 摘 要： | 形式化方法是分析与验证安全协议属性的强有力的工具.在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认证协议进行了形式化分析.
|
| 关 键 词： | 形式化 Needham-Schroeder 自动化证明 应用PI演算 |
Formal Analysis and Verification of Security Propertiesof Security Protocols in ProVerif |
| |
| WANG Wei.Formal Analysis and Verification of Security Propertiesof Security Protocols in ProVerif[J].Network & Computer Security,2011(10):41-44. |
| |
| Authors: | WANG Wei |
| |
| Affiliation: | WANG Wei(School of Computer,South-Center University for Nationalities,Wuhan,Hubei 430074,China) |
| |
| Abstract: | Formal method is a powerful tool of analysis and verification of security properties of security protocols.In this paper,based on the first-order theorem prover ProVerif researched deeply,we analyzed the simplified Authentication Protocol Needham-Schroeder by formal method. |
| |
| Keywords: | formal method Needham-Schroeder automatic proof applied Pi calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
