Open AccessSecurity enhancement of the communication‐efficient AUTHMAC_DH protocols
Author(s) -
Lv Chao,
Ma Maode,
Li Hui,
Ma Jianfeng,
Niu Ben
Publication year - 2012
Publication title -
security and communication networks
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.446
H-Index - 43
eISSN - 1939-0122
pISSN - 1939-0114
DOI - 10.1002/sec.361
Subject(s) - computer science , scalability , vulnerability (computing) , robustness (evolution) , computer security , protocol (science) , cryptographic protocol , computer network , distributed computing , cryptography , chemistry , medicine , biochemistry , alternative medicine , pathology , database , gene
Authentication and key distribution (AKD) protocols have become more important in the design of communication systems. The design criteria of the AKD protocols include the scalability, the communication efficiency, the computational efficiency, and the robustness of security. In this paper, we first analyze the vulnerability of an AKD protocol under the off‐line guessing attack. Then, we propose an enhanced AKD protocol to overcome the vulnerability. Security analysis and formal verification by using AVISPA toolkit show that the proposed protocol can keep all the previous properties and is secure against the off‐line guessing attack. Copyright © 2011 John Wiley & Sons, Ltd.