An Interoperable ECC based Authentication and Key Agreement Scheme for IoT Environment

With the advancement in technology, the Internet of Things (IoT) systems has been blooming in leap and bounds. It aims at connecting things such as vehicles, hospitals, industries, and consumers through the Internet. The increase in a number of IoT devices and the heterogeneity of their network connection is increasing day by day; it has given rise to several challenges such as authenticity, cost and usability, scalability, interoperability, mobility, and many more. Interoperability is one of such security challenges which has the ability for systems or components to communicate with each other, regardless of their manufacturer or technical specifications. Further, security and privacy issue is also a significant concern in the IoT environment. So, the IoT system must be secured, and proper authentication schemes have to be integrated to restrain the unauthorized access. Besides, the limited computation capability of the sensor generates the need for the light-weight authentication protocol. In this regard, this paper discusses an interoperable light-weight authentication protocol for the IoT system. To demonstrate the feasibility of the scheme, we employed a widely used formal verification tool Proverif for correctness proof of the scheme. Additionally, informal security analysis demonstrates that the scheme is secure against most of the known attacks.