An efficient ECC-based provably secure three-factor user authentication and key agreement protocol for wireless healthcare sensor networks. (July 2018)

• Record Type: Journal Article
• Authors: Challa, Sravani; Das, Ashok Kumar; Odelu, Vanga; Kumar, Neeraj; Kumari, Saru; Khan, Muhammad Khurram; Vasilakos, Athanasios V.
• Is Part Of: Computers & electrical engineering. Volume 69(2018)
• Page Start: 534
• Page End: 554
• Publication Date: 2018-07
• Subjects: Wireless healthcare sensor networks -- User authentication -- Session key -- Elliptic curve cryptography -- AVISPA -- BAN logic -- Formal security; Computer engineering -- Periodicals; Electrical engineering -- Periodicals; Electrical engineering -- Data processing -- Periodicals; Ordinateurs -- Conception et construction -- Périodiques; Électrotechnique -- Périodiques; Électrotechnique -- Informatique -- Périodiques; Computer engineering; Electrical engineering; Electrical engineering -- Data processing; Periodicals; Electronic journals; 621.302854
• DOI: 10.1016/j.compeleceng.2017.08.003
• Languages: English
• ISSNs: 0045-7906

Abstract

Abstract: We first show the security limitations of a recent user authentication scheme proposed for wireless healthcare sensor networks. We then present a provably secure three-factor user authentication and key agreement protocol for wireless healthcare sensor networks. The proposed scheme supports functionality features, such as dynamic sensor node addition, password as well as biometrics update, smart card revocation along with other usual features required for user authentication in wireless sensor networks. Our scheme is shown to be secure through the rigorous formal security analysis under the Real-Or-Random (ROR) model and broadly-accepted Burrows-Abadi-Needham (BAN) logic. Furthermore, the simulation through the widely-known Automated Validation of Internet Security Protocols and Applications (AVISPA) tool shows that our scheme is also secure. High security, and low communication and computation costs make our scheme more suitable for practical application in healthcare applications as compared to other related existing schemes.