| 认证协议的形式分析——BAN逻辑 |
| |
| 引用本文： | 田建波,王育民.认证协议的形式分析——BAN逻辑[J].信息安全与通信保密,1998(4). |
| |
| 作者姓名： | 田建波 王育民 |
| |
| 作者单位： | 西安电子科技大学105室，西安电子科技大学105室 西安 710071，西安 710071 |
| |
| 摘 要： | 介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。
|
| 关 键 词： | BAN逻辑 认证协议 形式分析 |
Formal Analysis of Authentication Protocol-BAN Logic |
| |
| Tian Jianbo Wang Yumin.Formal Analysis of Authentication Protocol-BAN Logic[J].China Information Security,1998(4). |
| |
| Authors: | Tian Jianbo Wang Yumin |
| |
| Abstract: | BAN Logic is introduced in this paper, and the flaw in an authentication protocol is found. This implies that it is effective to analysis the authentication protocol using BAN logic. At last, the direction of development is presented. |
| |
| Keywords: | BAN logic authentication protocol formal analysis |
| 本文献已被 CNKI 等数据库收录！ |
