Title: An enhanced anonymous authentication protocol for wireless sensor networks
Authors: Jiping Li; Tong Yu; Yunyun Wu; Xia Kong; Shouyin Liu
Addresses: School of Computer and Information Science, Hubei Engineering University, Xiaogan 432000, Hubei, China; School of Computer Science and Information Engineering, Hubei University, Wuhan 430062, Hubei, China ' School of Computer and Information Science, Hubei Engineering University, Xiaogan 432000, Hubei, China; School of Computer Science and Information Engineering, Hubei University, Wuhan 430062, Hubei, China ' School of Computer and Information Science, Hubei Engineering University, Xiaogan 432000, Hubei, China ' School of Computer and Information Science, Hubei Engineering University, Xiaogan 432000, Hubei, China ' College of Physical Science and Technology, Central China Normal University, Wuhan 430079, Hubei, China
Abstract: Nowadays, wireless sensor networks (WSNs) have played important roles in a variety of areas. However, the nature of wireless communications and restricted resources make it more likely to suffer from various kinds of attacks. As to this problem, many authentication protocols have been proposed recently to secure the communications in WSNs. Among these schemes, Singh et al.'s protocol shows great novelty. Unfortunately, we find in our current research that Singh et al.'s protocol still has the vulnerabilities to stolen/lost smart card attacks, privileged-insider attacks, the session key leakage attacks, and so on. To solve these problems, we first propose an enhanced anonymous authentication protocol by using Hash function and bitwise XOR operations based on Singh et al.'s protocol. Secondly, we conduct detailed security analysis to the proposed authentication protocol, and make security-feature comparisons with related protocols. In addition, we give formal proof and security verification of the proposed protocol by using Burrows-Abadi-Needham (BAN) logic and AVISPA tool, respectively. Finally, we give performance comparisons in terms of computing costs and communicating costs, respectively. Comparative summaries demonstrate that our protocol provides more extractive features and security guarantees with little increased overheads.
Keywords: authentication; key agreement; wireless sensor networks; WSNs; BAN-logic; AVISPA.
DOI: 10.1504/IJAHUC.2020.110822
International Journal of Ad Hoc and Ubiquitous Computing, 2020 Vol.35 No.3, pp.136 - 149
Received: 03 Jul 2019
Accepted: 06 Apr 2020
Published online: 29 Oct 2020 *