Wu Tsu-Yang, Meng Qian, Kumari Saru, Zhang Peng
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China.
Department of Mathematics, Chaudhary Charan Singh University, Meerut 250004, India.
Sensors (Basel). 2022 May 19;22(10):3858. doi: 10.3390/s22103858.
With the rapid development of technology based on the Internet of Things (IoT), numerous IoT devices are being used on a daily basis. The rise in cloud computing plays a crucial role in solving the resource constraints of IoT devices and in promoting resource sharing, whereby users can access IoT services provided in various environments. However, this complex and open wireless network environment poses security and privacy challenges. Therefore, designing a secure authentication protocol is crucial to protecting user privacy in IoT services. In this paper, a lightweight authentication protocol was designed for IoT-enabled cloud computing environments. A real or random model, and the automatic verification tool ProVerif were used to conduct a formal security analysis. Its security was further proved through an informal analysis. Finally, through security and performance comparisons, our protocol was confirmed to be relatively secure and to display a good performance.
随着基于物联网（IoT）的技术的快速发展，大量物联网设备每天都在被使用。云计算的兴起在解决物联网设备的资源限制以及促进资源共享方面发挥着关键作用，通过这种方式用户可以访问在各种环境中提供的物联网服务。然而，这种复杂且开放的无线网络环境带来了安全和隐私挑战。因此，设计一个安全的认证协议对于保护物联网服务中的用户隐私至关重要。在本文中，为支持物联网的云计算环境设计了一种轻量级认证协议。使用一个真实或随机模型以及自动验证工具ProVerif进行了形式化安全分析。通过非形式化分析进一步证明了其安全性。最后，通过安全和性能比较，证实我们的协议相对安全且表现出良好的性能。
