网络安全中的两种认证协议及安全性分析

网络安全中的两种认证协议及安全性分析

安兴朝¹,², 房至一¹,², 丛士佺¹,²

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 吉林大学符号计算与知识工程教育部重点实验室, 长春 130012

收稿日期:2006-05-29 修回日期:1900-01-01 出版日期:2006-08-26 发布日期:2006-11-26
通讯作者: 房至一

Two Authentication Protocols of Network Security and Their Security Analysis

AN Xingchao¹,², FANG Zhiyi¹,², CONG Shiquan¹,²

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. Key Laboratory ofSymbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China

Received:2006-05-29 Revised:1900-01-01 Online:2006-08-26 Published:2006-11-26
Contact: FANG Zhiyi

摘要/Abstract

摘要： 研究对称密钥算法产生的安全问题. 根据网络安全的特点设计了两种简单认证协议: 点到点简单认证协议和可信第三方的简单认证协议. 通过使用形式化分析方法（基于知识与信念推理的模态逻辑方法〖CD2〗SVO逻辑）, 对以上两个认证协议进行了安全性分析, 证实其达到了面向密钥的目标、密钥确认目标和相互信任密钥目标.

关键词: 认证协议, 形式化分析, SVO逻辑

Abstract: Investigations into the problem how to implement safe communication in the network and also into the problem emerged from symmetric key algorithm were made. And two kinds of practical authentication protocols, Point to Point Simple Authentication Protocol and Trusted Third Party Simple Authentication Protocol, were designed based on the characteristics of the network security. And we also have analysed the security of the two protocols to make sure that both of them have achieved the purpose of keyoriented, key affirmation and the aim of trusting the key of its peer via the formal analysis method (the mode logic method based on knowledge and belief consequence--SVO logic).

Key words: authentication protocol, formal analysis, SVO logic

中图分类号:

TP393

安兴朝,, 房至一,, 丛士佺,. 网络安全中的两种认证协议及安全性分析[J]. J4, 2006, 44(06): 190-194.

AN Xingchao,, FANG Zhiyi,, CONG Shiquan,. Two Authentication Protocols of Network Security and Their Security Analysis[J]. J4, 2006, 44(06): 190-194.

[1]	王出航, 王雪, 胡黄水, 赵宏伟, 韩由佳. 基于改进GA和信任感知的无线传感器网络安全分簇路由协议[J]. 吉林大学学报(理学版), 2021, 59(5): 1237-1244.
[2]	曾宏志, 史洪松. 半监督技术和主动学习相结合的网络入侵检测方法[J]. 吉林大学学报(理学版), 2021, 59(4): 936-942.
[3]	李蛟, 胡黄水, 赵宏伟, 鲁晓帆. 基于混沌遗传算法的无线传感器网络改进LEACH算法[J]. 吉林大学学报(理学版), 2021, 59(4): 950-955.
[4]	王宏志, 郭嫚嫚, 胡黄水, 武莎莎. 基于改进烟花算法的以太网通信链路调度方法[J]. 吉林大学学报(理学版), 2021, 59(2): 359-364.
[5]	吴佳楠, 温智皓, 贺曼利, 吴剑, 李念峰. 考虑环境影响的水下电场通信组网算法[J]. 吉林大学学报(理学版), 2021, 59(1): 115-122.
[6]	吴佳楠, 吴剑, 邸焕双, 王玉英, 李念峰. 基于逻辑分区的仿箱鲀鱼群负载均衡分簇控制算法[J]. 吉林大学学报(理学版), 2020, 58(6): 1407-1414.
[7]	陈英, 董思羽. 基于可信度小波神经网络的多传感器数据融合方法[J]. 吉林大学学报(理学版), 2020, 58(4): 953-959.
[8]	管乃彦, 郭娟利. 异构环境下高速互联网络覆盖优化控制算法[J]. 吉林大学学报(理学版), 2020, 58(2): 343-348.
[9]	王宏志, 戚小莎, 胡黄水, 王晓宇. 基于MAC层协议的自适应退避算法[J]. 吉林大学学报(理学版), 2020, 58(2): 349-354.
[10]	吕洪武, 赵航, 王宏志, 胡黄水. 基于模糊神经网络的MVB故障诊断算法[J]. 吉林大学学报(理学版), 2020, 58(1): 104-108.
[11]	陈翰林, 胡明, 胡洁珺, 颜辉. 基于车载自组织网络的数据和能量协同路由算法[J]. 吉林大学学报(理学版), 2019, 57(06): 1456-1464.
[12]	袁赫潞, 温长吉, 吴建双, 朱允刚, 于合龙. 基于遗传珊瑚礁优化算法的负载均衡问题[J]. 吉林大学学报(理学版), 2019, 57(06): 1465-1471.
[13]	王辉, 茹鑫鑫, 戴田旺, 娄亚龙, 刘琨. 基于NAPG模型的攻击增益路径预测算法[J]. 吉林大学学报(理学版), 2019, 57(5): 1169-1178.
[14]	王辉, 戴田旺, 茹鑫鑫, 娄亚龙, 敖山. 基于OptimizedAG的节点攻击路径预测方法[J]. 吉林大学学报(理学版), 2019, 57(04): 917-926.
[15]	朱超平, 任继平. 基于智能优化算法的物联网异构数据融合方法[J]. 吉林大学学报(理学版), 2019, 57(3): 627-632.