Inter-device authentication protocol for the Internet of Things




Wilson, Preethy

Journal Title

Journal ISSN

Volume Title



The Internet of things (IoT) recently blossomed remarkably and has been transforming the everyday physical entities around us into an ecosystem of information that will enrich our lives in unimaginable ways. Authentication is one of the primary goals of security in the IoT and acts as the main gateway to a secure system which transmits confidential and/or private data.This thesis focuses on a Device-to-Device Mutual Authentication Protocol, designed for the smart home network, which is an essential component of communication in the Internet of Things(IoT). The protocol has been developed based on asymmetric cryptography to authenticate the devices in the network and for the devices to agree on a shared secret session key. In order to ensure the security of a communications session between the devices, the session keys are changed frequently - ideally after every communication session. The proposed scheme has been programmed in HLPSL, simulated and its efficiency verified using the SPAN/ AVISPA tool. When SPAN substantiates the protocol simulation and the attacker simulation, the back-ends of the AVISPA tool verifies the safety and security of the proposed authentication protocol. The thesis also evaluates the protocol's security against the attacks successful against protocols proposed by other researchers.



Authentication, Internet of Things (IoT), Smart Homes, Smart Home Network, AVISPA/SPAN, AVISPA, Internet Security, Cryptography, Encryption, Asymmetric Cryptography, Shared Session Key, Private Key, Public Key, Cloud, Fog, Security, HLPSL, Quality Metrics, Simulation, Protocol Simulation, Attacker Simulation, Formal Verification, Verification, Multi-protocol Attack, Reflection Attack, OFMC, CL-AtSe, Communication, Computing, Mutual Authentication, Device-to-device, inter-device, machine-to-machine, Attacks