| 密码协议的健全性分析 |
| |
| 引用本文： | 李军,何大可. 密码协议的健全性分析[J]. 通信技术, 2002, 0(2): 67-69 |
| |
| 作者姓名： | 李军 何大可 |
| |
| 作者单位： | 西南交通大学计算机安全与通信保密研究所,成都,610031 |
| |
| 摘 要： | “健全”的密码协议，可以抵抗多种类型的攻击，建议作为密码协议设计的一个准则，这将有助于协议的早期分析，部分地弥补ＢＡＮ逻辑的不足。
|
| 关 键 词： | 密码协议 安全性分析 BAN逻辑 健全性 |
| 修稿时间： | 2001-10-16 |
Soundness Analysis of Cryptographic Protocols |
| |
| Li Jun He Dake. Soundness Analysis of Cryptographic Protocols[J]. Communications Technology, 2002, 0(2): 67-69 |
| |
| Authors: | Li Jun He Dake |
| |
| Abstract: | The soundness of the cryptographic protocols can help them to fight back some kinds of attacks. It is suggested to be a rule in the designing of cryptographic protocols, because it is useful for the early analysis of protocols and to make up the limitation of BAN logic in part. |
| |
| Keywords: | cryptographic protocol security analysis BAN logic soundness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
