Vehicular networking allows vehicles with sensing capabilities to carry out communication from vehicle to vehicle or with accessible roadside units. To attain effective communication in vehicular networking, we have proposed a hybrid technological solution in terms of vehicular edge computing (VEC) utilizing resources, cloud and edge server environment. The proposed architecture supports a frequent communication between a vehicle and a legitimate edge server without any trusted party communication. Both security and privacy are two key challenges in edge based vehicular communications due to the adoption of a real-time environment that is required to respond to hundreds of moving vehicles. This paper presents an edge computing-based framework for vehicular communication to ensure security, message integrity, and privacy. The presented framework attains all security attributes in the presence of active as well as passive adversaries. The formal security proof ensures its correctness and robustness. The analysis indicates that it is secure and efficient, being based on new edge computing framework as compared to general cloud computing framework.

车载网络允许具有传感能力的车辆在车辆与车辆之间或与可访问的路边单元之间进行通信。为了在车载网络中实现有效的通信，我们在利用资源、云和边缘服务器环境的车载边缘计算 (VEC) 方面提出了一种混合技术解决方案。所提出的架构支持车辆和合法边缘服务器之间的频繁通信，而无需任何可信方通信。由于采用了需要响应数百辆移动车辆的实时环境，因此安全和隐私都是基于边缘的车辆通信的两个关键挑战。本文提出了一种基于边缘计算的车载通信框架，以确保安全性、消息完整性和隐私。所提出的框架在存在主动和被动对手的情况下都能获得所有安全属性。形式化的安全证明保证了其正确性和健壮性。分析表明，与通用云计算框架相比，它基于新的边缘计算框架，安全高效。