Institutional Repository
| Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction | |
| Lu, SQ; Zhao, JH; Cheng, QF | |
| 2016 | |
| Source | INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS
 |
| ISSN | 1074-5351 |
| Volume | 29Issue:3Pages:567-578 |
| English Abstract | 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. |
| Indexed Type | SCI |
| Keyword | Kci Attack Sc Attack Scyther Authenticated Key Exchange Protocol |
| Department | 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. |
| Language | 英语 |
| WOS ID | WOS:000369147500010 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/17411 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment