The accelerated development of Internet of Things services surfaced the way for providing uninterrupted and adaptable smart mobility services for mobile clients to communicate without any zone or time constraints. The global mobility network is an appropriate contender to be adopted as a communication platform to offer roaming services for swift data exchange and fast movement of mobile users in smart mobility. Nevertheless, the confidentiality and secrecy of the exchanged messages have become major concerns due to the insecure nature of the public communication channel. Additionally, it is worth monitoring that enhanced security measures must not increase the burden on limited-powered, small computationally efficient mobile devices. To fulfill these purposes, multiple authentication and key agreement protocols in the context of roaming services have been proposed in recent days. This research demonstrates that most of the previous authentication schemes for the GLOMONET environment have failed to achieve the aforesaid secrecy goals. To satisfy the purposes, this article has proposed a mutual authentication and session key negotiation scheme for roaming services that resists all security susceptibilities and provides essential requirements like anonymity with minimized computation and communication overhead. To support our claim, the security of the proposed scheme is formally verified using the well-known random oracle model and aProVerif simulation tool. Moreover, the implementation of the protocol using the broadly acknowledged NS-2 simulation tool visualizes the practical efficiency of the protocol.

中文翻译：

---

为全球移动网络中的漫游服务开发可证明安全且保护隐私的轻量级身份验证方案

物联网服务的加速发展为移动客户端提供不间断、适应性强的智能移动服务提供了途径，使他们能够不受地域和时间限制进行​​通信。全球移动网络是一个合适的竞争者，可以作为通信平台提供漫游服务，以实现智能移动中移动用户的快速数据交换和快速移动。然而，由于公共通信渠道的不安全性，交换消息的机密性和保密性已成为主要问题。此外，值得关注的是，增强的安全措施不得增加功率有限、计算效率小的移动设备的负担。为了实现这些目的，最近几天提出了漫游服务背景下的多种认证和密钥协商协议。这项研究表明，大多数先前的 GLOMONET 环境身份验证方案都未能实现上述保密目标。为了满足这些目的，本文提出了一种用于漫游服务的相互身份验证和会话密钥协商方案，该方案可以抵抗所有安全敏感性，并以最小化的计算和通信开销提供匿名等基本要求。为了支持我们的主张，所提出方案的安全性使用众所周知的随机预言模型和 ProVerif 模拟工具进行了正式验证。此外，使用广泛认可的 NS-2 仿真工具来实现该协议可以直观地显示该协议的实际效率。