车辆自组网(Vehicuar ad hoc network,VANET)是智能交通领域的研究热点，结合了移动自组织网络和无线传感网络技术。VANET随时随地的位置服务功能在解决道路交通安全问题、为驾乘者提供便捷服务的同时，也带来了不可避免的隐私安全问题。rn VANET中的无线通信通过V2V(Vehicle to vehicle)和V2I(Vehicle to lnfrastrnctnxe)两种方式实现.V2V通信是一种不基于固定式基站,在车载网络中最基础、最频繁的移动通信.V2V通信过程的隐私保护性能对整个车载网络起关键性作用。为减少车辆自组网中隐私保护过程的通信延迟,提高认证效率,论文在形式化描述车辆之间的通信(V2V)的基础上,设计了一个V2V通信协议,利用Applied Pi演算证明了它的前向安全性和不可跟踪性,并联合VanetMobiSim和NS2平台仿真验证了V2V通信过程的性能,比较了在不同速度下,V2V通信与V2I通信的认证时间与认证效率.
展开▼
