一种BAN-逻辑的修正
郑东; 王常杰; 王育民
西安电子科技大学105室 西安 710071
A MODIFIED BAN-LOGIC
Zheng Dong; Wang Changjie; Wang Yumin
Xidian University,Xi’an 710071
摘要 本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑,它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的。
关键词 :
认证协议 ,
BAN-逻辑
Abstract :This paper points out some flaws in BAN-logic, and presents a modified version of the BAN-logic, which has a sound semantics and correct loigc rules. It is concluded that, if the initial condition is right, the result from this logic is right as well.
Key words :
Authentication protocol
BAN-logic
收稿日期: 1998-11-16
[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]. 电子与信息学报, 2000, 22(1): 73-77 .
[9]
刘建伟; 王育民. 个人通信系统中的一种移动用户登记认证协议 [J]. 电子与信息学报, 1999, 21(4): 494-499 .