The Intelligent Transportation Systems (ITS) is a leading-edge, developing idea that seeks to revolutionize how people and things move inside and outside cities. Internet of Vehicles (IoV) forms a networked environment that joins infrastructure, pedestrians, fog, cloud, and vehicles to develop ITS. The IoV has the potential to improve transportation systems significantly, but as it is networked and data-driven, it poses several security issues. Numerous solutions to these IoV issues have recently been put forth. However, significant computing overhead and security concerns afflict the majority of them. Moreover, malicious vehicles may be injected into the network to access or use unauthorized services. To improve the security of the IoV network, the Mayfly algorithm is used to optimize the private keys continuously. To address these difficulties, we propose a novel VESecure system that provides secure communication, mutual authentication, and key management between vehicles, roadside units (RSU), and cloud servers. The scheme undergoes extensive scrutiny for security and privacy using the Real-or-Random (ROR) oracle model, Tamarin, and Scyther tools, along with the informal security analysis. An Objective Modular Network Testbed in OMNet++ is used to simulate the scheme. We prove our scheme's efficiency by comparing it with other existing methods regarding communication and computation costs.

中文翻译：

---

VESecure：可验证的身份验证和高效的密钥交换，用于安全智能运输系统部署


智能交通系统 (ITS) 是一个前沿的发展理念，旨在彻底改变人和物在城市内外的移动方式。车联网 (IoV) 形成一个连接基础设施、行人、雾、云和车辆的网络环境，以开发 ITS。车联网有潜力显着改善交通系统，但由于它是网络化和数据驱动的，它带来了一些安全问题。最近针对这些车联网问题提出了许多解决方案。然而，大量的计算开销和安全问题困扰着大多数人。此外，恶意车辆可能会被注入网络以访问或使用未经授权的服务。为了提高车联网网络的安全性，采用Mayfly算法不断优化私钥。为了解决这些困难，我们提出了一种新颖的 VESecure 系统，该系统在车辆、路边单元 (RSU) 和云服务器之间提供安全通信、相互身份验证和密钥管理。该方案使用真实或随机 (ROR) 预言机模型、Tamarin 和 Scyther 工具以及非正式的安全分析，对安全和隐私进行了广泛的审查。使用OMNet++中的客观模块化网络测试平台来模拟该方案。我们通过将其与其他现有方法在通信和计算成本方面进行比较来证明我们的方案的效率。