三方认证协议BNV的分析及改进

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (4): 155-158.

三方认证协议BNV的分析及改进

高三海¹,董荣胜¹,吴光伟^1,2

1.桂林电子科技大学计算机学院，广西桂林 541004
2.中南林业科技大学计算机科学学院，长沙 410004

收稿日期:2007-07-04 修回日期:2007-09-03 出版日期:2008-02-01 发布日期:2008-02-01
通讯作者: 高三海

Analysis and improvement of 3-party authentication protocol：BNV

GAO San-hai¹,DONG Rong-sheng¹,WU Guang-wei^1,2

1.School of Computer Science，Guilin University of Electronic Technology，Guilin，Guangxi 541004，China
2.School of Computer Science，Central South University of Forestry and Technology，Changsha 410004，China

Received:2007-07-04 Revised:2007-09-03 Online:2008-02-01 Published:2008-02-01
Contact: GAO San-hai

摘要/Abstract

摘要： 多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型，分析了三方认证协议BNV的安全性，结果表明该协议存在一致性和同步性缺陷。为此，修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后协议的安全性进行分析，结果表明改进后的协议不存在原协议的缺陷，协议参与主体满足一致性与同步性要求。最后，基于改进后协议，提出了一个n方认证协议的协议原型。

关键词: 三方认证协议BNV, 操作语义, 同步性, 一致性

Abstract: Multi-party authentication protocols are used to assure the security sessions of the Multi participants involved in the protocols.In this paper，based on the operational semantics of security protocols，3-party authentication protocols BNV is analyzed. The result shows that it has agreement and synchronization flaws.For this flaws，the message structure of the protocol is amended and a message term identified the agent is added into the protocol messages.Then，the improved protocol is analyzed，which indicates that it can guarantee agreement and synchronization.Finally，an n-party protocol is presented based on the improved 3-party authentication protocols BNV，which is used to confirm the real identities of n agents.

Key words: 3-party protocol BNV, operational semantics, synchronization, agreement

高三海¹,董荣胜¹,吴光伟^1,2. 三方认证协议BNV的分析及改进[J]. 计算机工程与应用, 2008, 44(4): 155-158.

GAO San-hai¹,DONG Rong-sheng¹,WU Guang-wei^1,2. Analysis and improvement of 3-party authentication protocol：BNV[J]. Computer Engineering and Applications, 2008, 44(4): 155-158.

[1]	张忠民，刘金鑫，席志红. 熵率超像素分割一致性检验视差细化算法[J]. 计算机工程与应用, 2021, 57(5): 204-209.
[2]	陈世明，林子朋，高彦丽，裴惠琴. 自适应耦合权重下的异质群体一致性研究[J]. 计算机工程与应用, 2021, 57(4): 231-235.
[3]	陈俊丰，郑中团. WKMeans与SMOTE结合的不平衡数据过采样方法[J]. 计算机工程与应用, 2021, 57(23): 106-112.
[4]	李振涛，冯元珍，王正新. 事件触发下多智能体系统固定时间二分一致性[J]. 计算机工程与应用, 2021, 57(21): 80-86.
[5]	甘昕艳，高翔. 基于犹豫模糊决策算法的云制造系统选择研究[J]. 计算机工程与应用, 2021, 57(2): 134-142.
[6]	陈雪娟. 犹豫模糊群共识实现算法及其数据系统优选[J]. 计算机工程与应用, 2021, 57(11): 128-134.
[7]	茆汉国，张建德. 多智能体系统的非震颤固定时间一致性[J]. 计算机工程与应用, 2020, 56(4): 158-162.
[8]	刘祖均，何明，马子玉，顾凌枫. 基于分布式一致性的无人机编队控制方法[J]. 计算机工程与应用, 2020, 56(23): 146-152.
[9]	马倩茹，冶继民. FastICA算法的收敛性与一致性分析[J]. 计算机工程与应用, 2020, 56(2): 35-41.
[10]	陈良康，过榴晓，杨永清. 带有智能领导者的网络系统分群投影一致性[J]. 计算机工程与应用, 2020, 56(19): 42-47.
[11]	许元云，何明，刘锦涛，周波，杨铖. 碰撞锥检测改进的多智能体避障算法[J]. 计算机工程与应用, 2020, 56(18): 63-68.
[12]	李丹. 结构加权相关自适应子空间聚类[J]. 计算机工程与应用, 2020, 56(13): 137-142.
[13]	卢鹏，卢奇，邹国良，王振华，侯倩. 基于改进SIFT的时间序列图像拼接方法研究[J]. 计算机工程与应用, 2020, 56(1): 196-202.
[14]	韩凯，孙金生. 带虚拟领导者的多智能体系统的非光滑一致性[J]. 计算机工程与应用, 2019, 55(8): 147-150.
[15]	田泽金，黄锐露，吕跃进. 区间粗糙数互补判断矩阵的两种一致性[J]. 计算机工程与应用, 2019, 55(24): 235-240.