关于BAN逻辑扩展的注记
郑东; 田建波; 王育民
西安电子科技大学105室 西安 710071
A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS
Zheng Dong; Tian Jianbo; Wang Yumin
Lab. 105 Xidian University Xi 'an 710071
摘要 本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
关键词 :
认证协议 ,
BAN逻辑
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.
Key words :
Authentication protocols
BAN-like logics
收稿日期: 1997-10-24
[1]
戚湧,郭诗炜,李千目. 一种泛在网络的安全认证协议 [J]. 电子与信息学报, 2016, 38(7): 1800-1807.
[2]
石乐义,贾聪,宫剑,刘昕, 陈鸿龙. 基于共享秘密的伪随机散列函数RFID双向认证协议 [J]. 电子与信息学报, 2016, 38(2): 361-366.
[3]
王云峰, 张斌, 刘洋, 费晓飞. 基于码分多址防碰撞的射频识别认证协议 [J]. 电子与信息学报, 2014, 36(6): 1472-1477.
[4]
冯涛, 张子彬, 马建峰. 协议组合逻辑安全的WiMAX无线网络认证协议 [J]. 电子与信息学报, 2010, 32(9): 2106-2111.
[5]
丁治国;郭 立; 王昱洁. 基于密钥阵列的RFID安全认证协议 [J]. 电子与信息学报, 2009, 31(3): 722-726 .
[6]
铁满霞;李建东;张变玲;黄振海. 一种适用于IBSS网络的无线接入认证协议 [J]. 电子与信息学报, 2008, 30(1): 6-9 .
[7]
王全来; 韩继红; 王亚弟 . 数字移动通信系统中认证协议的设计与分析 [J]. 电子与信息学报, 2007, 29(1): 189-192 .
[8]
袁丁; 范平志; 何明星. “对BAN逻辑中新鲜子的研究”的注记 [J]. 电子与信息学报, 2002, 24(8): 1131-1133 .
[9]
郑东; 王常杰; 王育民. 一种BAN-逻辑的修正 [J]. 电子与信息学报, 2000, 22(4): 579-584 .
[10]
宋荣功; 胡正名; 杨义先. 对BAN逻辑中新鲜子的研究 [J]. 电子与信息学报, 2000, 22(3): 505-508 .
[11]
田建波; 郑东; 王育民. 并行攻击的讨论 [J]. 电子与信息学报, 1999, 21(4): 557-560 .
[12]
刘建伟; 王育民. 个人通信系统中的一种移动用户登记认证协议 [J]. 电子与信息学报, 1999, 21(4): 494-499 .