| 密码协议的归纳证明方法 |
| |
| 引用本文： | 束妮娜,王亚弟. 密码协议的归纳证明方法[J]. 计算机工程, 2001, 27(10): 129-131 |
| |
| 作者姓名： | 束妮娜 王亚弟 |
| |
| 作者单位： | 信息工程大学电f技术学院 |
| |
| 摘 要： | 通过对Otway-rees协议的分析，介绍了目前受到普遍关注的一种密码协议形式化分析方法－归纳方法。
|
| 关 键 词： | 密码协议 归纳证明 随机数 密钥 消息符号 |
| 文章编号： | 1000-3428(2001)10-0129-03 |
| 修稿时间： | 2001-02-26 |
Inductive Approach to Verifying Cryptographic Protocols |
| |
| SHU Nina,WANG Yadi. Inductive Approach to Verifying Cryptographic Protocols[J]. Computer Engineering, 2001, 27(10): 129-131 |
| |
| Authors: | SHU Nina WANG Yadi |
| |
| Abstract: | This paper introduces a kind of formal method for the analysis of cryptographic protocols inductive method which has been widely given attention at present, and analyzes the Otway-rees protocol. |
| |
| Keywords: | Cryptographic protocols Induction Trace |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
