Proposing and verifying a security protocol for hash function-based IoT communication system

摘要

Internet of things (IoT) has recently drawn much attention around the world. Technological development in relevant industries has facilitated great strides in the advancement of multifunctional high-performance electronic communication system. IoT technology conceptually encompasses information service, transmission, identification, hardware, infrastructure, embedded, security, material and network technologies. In particular, the importance of security technology is highlighted in IoT technology due in part to the concerns over hacking attacks leading to system malfunction, remote control and authorization in the guise of administrators. Thus, mutual authentication and security are regarded as the overarching aspect of communication. In the same vein, secure communication protocols have extensively been explored in the field of security. The present paper designed a secure communication protocol using hash locks, timestamps, agent passwords and security keys. Unlike most of previous studies intended to prove the security of protocols using mathematical theorems, the present paper established the security of the proposed protocol against a range of intruders' attacks by testing it using a formal verification tool, Casper/FDR. The test results confirmed the security of the proposed protocol in terms of safety, deadlock and livelock.