A Provably Secure and Lightweight Anonymous User Authenticated Session Key Exchange Scheme for Internet of Things Deployment
- 17 June 2019
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Internet of Things Journal
- Vol. 6 (5) , 8739-8752
Abstract
With the ever increasing adoption rate of Internet-enabled devices (also known as Internet of Things (IoT) devices) in applications such as smart home, smart city, smart grid and healthcare applications, we need to ensure the security and privacy of data and communications among these IoT devices and the underlying infrastructure. For example, an adversary can easily tamper with the information transmitted over a public channel, in the sense of modification, deletion and fabrication of data-in-transit and data-in-storage. Time-critical IoT applications such as healthcare may demand the capability to support external parties (users) to securely access IoT data and services in real-time. This necessitates the design of a secure user authentication mechanism, which should also allow the user to achieve security and functionality features such as anonymity and un-traceability. In this paper, we propose a new lightweight anonymous user authenticated session key agreement scheme in the IoT environment. The proposed scheme uses three-factor authentication, namely; a user’s smart card, password and personal biometric information. The proposed scheme does not require the storing of user specific information at the gateway node. We then demonstrate the proposed scheme’s security using the broadly accepted Real-Or-Random (ROR) model, Burrows-Abadi-Needham (BAN) logic, and Automated Validation of Internet Security Protocols and Applications (AVISPA) software simulation tool, as well as presenting an informal security analysis to demonstrate its other features. In addition, through our simulations, we demonstrate that the proposed scheme outperforms existing related user authentication schemes, in terms of its security and functionality features, and computation costs.Keywords
Funding Information
- Research Initiation Grant (BITS/GAU/RIG/2019/H0626)
- Outstanding Potential for Excellence in Research and Academics (OPERA) through the Birla Institute of Technology and Science (BITS) Pilani (Hyderabad Campus), India (FR/SCM/070518/CSIS)
- Cloud Technology Endowed Professorship
- National Science Foundation (HRD-1736209)
This publication has 49 references indexed in Scilit:
- Internet of Things (IoT): A vision, architectural elements, and future directionsFuture Generation Computer Systems, 2013
- Dynamic ID-based remote user password authentication schemes using smart cards: A reviewJournal of Network and Computer Applications, 2012
- Analysis and improvement on an efficient biometric-based remote user authentication scheme using smart cardsIET Information Security, 2011
- An Efficient Key-Management Scheme for Hierarchical Access Control in E-Medicine SystemJournal of Medical Systems, 2011
- Cryptanalysis and improvement of a biometrics-based remote user authentication scheme using smart cardsJournal of Network and Computer Applications, 2011
- The Internet of Things: A surveyComputer Networks, 2010
- Cryptanalysis and Security Improvements of ‘Two-Factor User Authentication in Wireless Sensor Networks’Sensors, 2010
- Examining smart-card security under the threat of power analysis attacksIEEE Transactions on Computers, 2002
- A logic of authenticationACM Transactions on Computer Systems, 1990
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983