Affiliations: [a] Department of Computer Science and Engineering, Asansol Engineering College, Asansol, WB, India
| [b] Defence Research and Development Organization, Hyderabad, India
Correspondence:
[*]
Corresponding author. Sandip Roy, Department of Computer Science and Engineering, Asansol Engineering College, Asansol, WB 713305, India. E-mail: sandiproy9500@gmail.com.
Abstract: A well connected of network of smart devices that can be accessed through internet is broadly known as Internet of Things (IoT). IoT has diversified application exploiting various technologies that requires integration of computing devices with end users. The use of IoT provides efficient management large and heterogeneous assets, establishes a real time network for strong connectivity and set up useful coordination among various resources. For example, in defense system, IoT can be applicable in monitoring war fighter’s health, border area surveillance, proactive equipment maintenance etc. However, maintaining privacy and security through secure remote authentication is an essential prerequisite for hazard-free use of IoT based services. In this paper, we provide an efficient and secured authentication protocol for remote IoT based services. Our proposed scheme does not exploit computation costly operation and avoids heavy storage in medical application server, thus making it suitable for battery limited devices. Finally, we perform the formal security verification using the widely accepted verification tool, called the ProVerif 1.93, to show that presented scheme is secure.
Keywords: Remote user authentication, internet of things, biometrics, security, ProVerif 1.93
