Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction

ISCAS OpenIR

	Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction
	Lu, SQ; Zhao, JH; Cheng, QF
	2016
发表期刊	INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS
ISSN	1074-5351
卷号	29 期号:3 页码:567-578
摘要	The SMEN protocol, proposed by Wu and Ustaoglu in 2009, has been considered to be secure as the authors claimed, and numerous theories are proposed based on this protocol. This paper analyzes the SMEN protocol and finds that this protocol is not resistant to the session corruption attack and the key compromise impersonation attack. Then, we propose an improved protocol with tight security reduction. Our improved protocol not only avoids the above attacks but also embraces the same efficiency as the SMEN protocol in terms of exponentiation. Besides, formal analysis of the improved protocol is presented by using the formal automatic security analysis tool Scyther. Copyright (c) 2014 John Wiley & Sons, Ltd.; The SMEN protocol, proposed by Wu and Ustaoglu in 2009, has been considered to be secure as the authors claimed, and numerous theories are proposed based on this protocol. This paper analyzes the SMEN protocol and finds that this protocol is not resistant to the session corruption attack and the key compromise impersonation attack. Then, we propose an improved protocol with tight security reduction. Our improved protocol not only avoids the above attacks but also embraces the same efficiency as the SMEN protocol in terms of exponentiation. Besides, formal analysis of the improved protocol is presented by using the formal automatic security analysis tool Scyther. Copyright (c) 2014 John Wiley & Sons, Ltd.
收录类别	SCI
关键词	Kci Attack Sc Attack Scyther Authenticated Key Exchange Protocol
部门归属	Luoyang Univ Foreign Languages, POB 036-150, Luoyang 471003, Henan Province, Peoples R China. Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100093, Peoples R China. Sci & Technol Informat Assurance Lab, Beijing 100072, Peoples R China.
语种	英语
WOS记录号	WOS:000369147500010
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/17411
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Lu, SQ,Zhao, JH,Cheng, QF. Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction[J]. INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS,2016,29(3):567-578.
APA	Lu, SQ,Zhao, JH,&Cheng, QF.(2016).Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction.INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS,29(3),567-578.
MLA	Lu, SQ,et al."Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction".INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS 29.3(2016):567-578.