| 关于BAN逻辑扩展的注记 |
| |
| 引用本文： | 郑东,田建波,王育民.关于BAN逻辑扩展的注记[J].电子与信息学报,2000,22(1):73-77. |
| |
| 作者姓名： | 郑东 田建波 王育民 |
| |
| 作者单位： | 西安电子科技大学105室,西安,710071 |
| |
| 基金项目： | 国家自然科学基金(69683005) |
| |
| 摘 要： | 本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
|
| 关 键 词： | 认证协议 BAN逻辑 |
| 收稿时间： | 1997-10-24 |
| 修稿时间： | 1997-10-24 |
A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS |
| |
| Zheng Dong,Tian Jianbo,Wang Yumin.A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS[J].Journal of Electronics & Information Technology,2000,22(1):73-77. |
| |
| Authors: | Zheng Dong Tian Jianbo Wang Yumin |
| |
| Affiliation: | Lab. 105 Xidian University Xi 'an 710071 |
| |
| Abstract: | This paper points out a mistake occurred in the Protocol(1)(W.Mao, 1995), the mistake is due to a wrong initial assumption, also this paper shows the weakness of the N-u based-rules. Finaly, an application of the N-u rules is given by an example. |
| |
| Keywords: | Authentication protocols BAN-like logics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
|
