Analyzing model of amended wireless authentication protocol SSM

doi:10.3778/j.issn.1002-8331.2009.01.040

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (1): 129-130.DOI: 10.3778/j.issn.1002-8331.2009.01.040

• 网络、通信、安全 • Previous Articles Next Articles

Analyzing model of amended wireless authentication protocol SSM

GUO Yu-yan¹,WEI Shi-min²,ZHUO Ze-peng³

1.Dept. of Computer Science ＆ Technique，Suzhou University，Suzhou，Anhui 234000，China
2.Dept. of Computer Science ＆ Technique，Huaibei Coal Industry Teachers’ College，Huaibei，Anhui 235000，China
3.Dept. of Mathematics，Huaibei Coal Industry Teachers’ College，Huaibei，Anhui 235000，China

Received:2007-12-27 Revised:2008-03-13 Online:2009-01-01 Published:2009-01-01
Contact: GUO Yu-yan

对改进的无线认证协议SSM的分析

郭宇燕¹,魏仕民²,卓泽朋³

1.宿州学院计算机科学与技术系，安徽宿州 234000
2.淮北煤炭师范学院计算机科学与技术系，安徽淮北 235000
3.淮北煤炭师范学院数学系，安徽淮北 235000

通讯作者: 郭宇燕

Abstract

Abstract: It is the first time to prove the Liu Xia’s modified version of server-specific MAKEP protocol with the theory of strand space which is a rising formal analysis tool.Firstly，its confidentiality is analyzed，and two concepts honest and ideal are used to simplify the process of verification.It indicates that rs，rc are secret.Then its authentication is analyzed，the analysis contains responser’s authentication and sponsor’s authentication.At last，the result shows that the amended SSM protocol can reach the goal of the protocol.

Key words: SSM protocol, strand space, confidentiality, authentication

摘要： 针对刘霞提出的改进的Server-specific MAKEP协议，首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析，并运用“理想”和“诚实”两个概念简化分析协议的步骤，证明了rs，rc是保密的，然后对协议的认证性进行分析，分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。

关键词: SSM协议, 串空间, 机密性, 认证性

GUO Yu-yan¹,WEI Shi-min²,ZHUO Ze-peng³. Analyzing model of amended wireless authentication protocol SSM[J]. Computer Engineering and Applications, 2009, 45(1): 129-130.

郭宇燕¹,魏仕民²,卓泽朋³. 对改进的无线认证协议SSM的分析[J]. 计算机工程与应用, 2009, 45(1): 129-130.

[1]	ZOU Jianwen, ZHAO Bo, LI Xiang, LIU Yifan, LI Jiayue. tPUF-Based Security Access Scheme for IoT Devices [J]. Computer Engineering and Applications, 2021, 57(2): 119-126.
[2]	CHEN Feihong, ZHANG Feng, CHEN Junning, WU Xiulong. Lightweight RFID Authentication Protocol Based on RRAM PUF [J]. Computer Engineering and Applications, 2021, 57(1): 141-149.
[3]	MEI Songqing, DENG Xiaoru. Ultra-Lightweight Mobile RFID Authentication Protocol for Bit Replacement Operations [J]. Computer Engineering and Applications, 2020, 56(3): 100-105.
[4]	XU Guoyu, XU Gang, JIANG Tao, HU Haitao. Research on Quantitative Analysis of Authentication Mechanism Performance for Space-Ground Integrated Information Network [J]. Computer Engineering and Applications, 2020, 56(21): 108-114.
[5]	MA Yuanyuan, LIU Zhoubin, WANG Zixiang. Research on Heterogeneous Terminal Security Access Technology in Edge Computing Scenario [J]. Computer Engineering and Applications, 2020, 56(17): 115-120.
[6]	LI Yanjun, WANG Shubei, YANG Xiaotong, CAO Yisen. Lightweight NFC Security Authentication Scheme Based on Mobile Terminal [J]. Computer Engineering and Applications, 2020, 56(16): 84-89.
[7]	DU Mengyao, WANG Zheng, LI Na, QIANG Yan. Dynamic Password Authentication Protocol for Wireless Body Area Network [J]. Computer Engineering and Applications, 2020, 56(14): 68-73.
[8]	LIU Liwei1, SUN Jianzhi1, TAN Li1, YANG Bin2. Research on Trusted Authentication Method of Network Device Based on IMC/IMV [J]. Computer Engineering and Applications, 2019, 55(9): 79-86.
[9]	ZHAN Shanhua1，2. Secure Bidirectional Authentication Protocol for RFID [J]. Computer Engineering and Applications, 2019, 55(5): 83-88.
[10]	YANG Minghui, ZOU Xiang. Evaluation of US Electronic Identity Guide [J]. Computer Engineering and Applications, 2019, 55(23): 22-28.
[11]	ZHAO Taifei, YIN Hang, ZHAO Siting. Anti-Desynchronization and Efficient RFID Mutual Authentication Protocol [J]. Computer Engineering and Applications, 2019, 55(12): 90-96.
[12]	LI Xiaowen, LI Yangyang, LEI Xiu. Research and Implementation of Authentication and Key Agreement Process in 5G Client [J]. Computer Engineering and Applications, 2019, 55(11): 35-39.
[13]	HUANG Guosheng1, 2, XIA Minghua2. USBKey aided certificateless mobile IP registration authentication protocol [J]. Computer Engineering and Applications, 2018, 54(9): 96-100.
[14]	XIAO Meihua, LI Wei, LI Yanan, MEI Yingtian. Security communication framework of DICOM protocol based on PACS cloud [J]. Computer Engineering and Applications, 2018, 54(7): 107-113.
[15]	XU Guoyu, MIAO Xuna, ZHANG Junfeng, JIANG Tao, MA Xiaofei. Review of implicit authentication for mobile devices [J]. Computer Engineering and Applications, 2018, 54(6): 19-25.

Analyzing model of amended wireless authentication protocol SSM

对改进的无线认证协议SSM的分析

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics