| 安全协议形式化验证方法的比较与分析 |
| |
| 引用本文： | 黄连生,王新兵,谢峰,杨克. 安全协议形式化验证方法的比较与分析[J]. 计算机工程与应用, 2001, 37(14): 54-57 |
| |
| 作者姓名： | 黄连生 王新兵 谢峰 杨克 |
| |
| 作者单位： | 清华大学计算机系 |
| |
| 基金项目： | 国家自然科学基金资助（编号：69872019） |
| |
| 摘 要： | 网络的飞速发展，使得安全问题日益突出，而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。对其各自特点进行比较与分析。
|
| 关 键 词： | 形式化验证 协议 证明与证伪 |
| 文章编号： | 1002-8331-(2001)14-0054-04 |
| 修稿时间： | 2000-05-01 |
Comparison and Analysis of the Formal Tools of Authentication Protocol |
| |
| Huang Liansheng Wang Xinbing Xie Feng Yang Ke. Comparison and Analysis of the Formal Tools of Authentication Protocol[J]. Computer Engineering and Applications, 2001, 37(14): 54-57 |
| |
| Authors: | Huang Liansheng Wang Xinbing Xie Feng Yang Ke |
| |
| Abstract: | With the rapid development of the Internet,the security problems become more and more important.Authentication protocol is the base of security protocol.Now the focus is formal verification of security protocol.This paper introduces tools of verification and falsification and then compare and analyses their characteristic. |
| |
| Keywords: | formal authentication protocol verification and falsification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
