An Enhanced Authentication Protocol for IoT-AmI Environment

The rapid proliferation of the Internet of Things (IoT) in recent years has fostered the swift development of various applications, enabling seamless connections between consumers and everyday utilities. One sector that has seen significant transformation is healthcare, thanks to the adoption of IoT and Ambient Intelligence (AmI). However, this growing utilization of IoT-AmI systems has raised substantial concerns about privacy and security, particularly in user authentication. Numerous authentication techniques have been established for IoT-AmI systems. Nevertheless, the current state-of-the-art reveals that these methods are vulnerable to various severe attacks, such as impersonation, Man-in-the-middle (MITM), traceability, replay, privacy and violation of perfect forward secrecy. Considering the above, this paper aims to propose a secure authentication protocol for IoT-AmI systems. The security of the proposed protocol for IoT-AmI is verified using the formal analysis tool Scyther. Furthermore, the performance of the designed protocol is assessed to show that it has lower computational and communication costs compared to existing protocols.