Cryptanalysis and improvement of mutual authentication protocol for real-time data access in industrial wireless sensor networks. Issue 6 (3rd June 2022)

• Record Type: Journal Article
• Authors: Kumar, Devender; Pachigolla, Sai Kishore; Manhas, Shubham Singh; Rawat, Karan
• Is Part Of: International journal of computers and applications. Volume 44:Issue 6(2022)
• Page Start: 521
• Page End: 534
• Publication Date: 2022-06-03
• Subjects: Industrial wireless sensor network -- physically unclonable function -- user authentication -- ProVerif -- sensor node; Computers -- Periodicals; Computer software -- Periodicals; Computer networks -- Periodicals; Multimedia systems -- Periodicals; Internet -- Periodicals; World Wide Web -- Periodicals; Minicomputers -- Periodicals; Microcomputers -- Periodicals; 004.05
• DOI: 10.1080/1206212X.2020.1825159
• Languages: English
• ISSNs: 1206-212X

Abstract

Abstract : Wireless Sensor Networks (WSNs) have a very large number of applications in different domains of the industry. One of those applications is the industrial use of WSN. Industrial Wireless Sensor Networks (IWSNs) are generally used in places which are isolated from human involvement. Thus their security and privacy are a major concern. Recently, Gope et al. have discussed a lightweight mutual user authentication protocol for IWSN. In this paper, we perform the security analysis of their scheme and find that their scheme is vulnerable to the following attacks: user device loss attack, stolen verifier attack, and denial of service attack. We also propose an improved scheme that overcomes these vulnerabilities. The proposed scheme uses the Physically Unclonable Function (PUF), Exclusive OR (XOR), and one-way cryptographic hash function operations, which are all lightweight cryptographic functions. The analysis of formal security in our scheme uses random oracle model to prove the safety of the user identity, password, and session key. Through the informal security, we show that our scheme resists many known attacks. The formal verification of security is done using ProVerif tool. In the performance analysis, we present that our scheme provides better security features than the other related schemes.