The continuous progression in cloud computing, edge computing, and associated technologies has notably hastened the progress of vehicle networking technology. This advancement is increasingly assuming a crucial role in enhancing driving safety, optimizing traffic management, and revolutionizing traffic control methodologies. The principal aim of Internet of Vehicles (IoV) technology is to establish a secure, convenient, and efficient novel driving paradigm, enabling intelligent transportation through wireless communication connecting roadside units and vehicles. Nevertheless, this wireless communication method is susceptible to potential attacks, including remote control, information monitoring, and identity simulation. Given this situation, effective authentication is required to address this security concern. Thus, this study proposes an identity authentication and key negotiation protocol grounded in a trusted cloud-edge-terminal architecture. This protocol facilitates mutual authentication, generates secure session keys for communication, guarantees the security of vehicle communication, and supports functionalities including privacy protection and password alteration for vehicle users. Time tree technology is employed for managing the edge nodes, facilitating the sharing of vehicle certification information among these nodes, and enhancing certification efficiency. Formal security analysis and informal security analysis are conducted to demonstrate the security of the proposed protocol, evaluating its security and practicality. Theoretical comparisons and experimental results demonstrate the outstanding computational and communication performance of the proposed protocol.

中文翻译：

---

基于可信云边端架构的车联网身份认证与密钥协商协议


云计算、边缘计算及相关技术的不断进步，显着加速了车联网技术的进步。这一进步在提高驾驶安全、优化交通管理和变革交通控制方法方面日益发挥着至关重要的作用。车联网（IoV）技术的主要目标是建立安全、便捷、高效的新型驾驶模式，通过连接路边单元和车辆的无线通信实现智能交通。然而，这种无线通信方式容易受到潜在的攻击，包括远程控制、信息监控和身份模拟。鉴于这种情况，需要有效的身份验证来解决此安全问题。因此，本研究提出了一种基于可信云边端架构的身份认证和密钥协商协议。该协议有利于相互认证，生成用于通信的安全会话密钥，保证车辆通信的安全，并支持车辆用户的隐私保护和密码更改等功能。采用时间树技术对边缘节点进行管理，方便各节点之间车辆认证信息的共享，提高认证效率。进行正式安全分析和非正式安全分析来证明所提出协议的安全性，评估其安全性和实用性。理论比较和实验结果证明了所提出的协议出色的计算和通信性能。