信息安全研究2025，Vol.11Issue(5)：465-472,8.DOI:10.12379/j.issn.2096-1057.2025.05.09
一种车联网V2V认证与密钥交换协议设计与验证
Design and Verification of V2V Authentication and Key Exchange Protocol for Internet of Vehicles
摘要
Abstract
In the Internet of vehicles system,vehicles need to achieve communications of vehicle to vehicle(V2V),which needs strong security,low latency,user anonymity and other security characteristics.Authentication and key exchange protocol(AKE)is based on cryptographic algorithms,aiming to complete session key negotiation for subsequent information exchange between communication parties.It is an important means to ensure the security of vehicle networking.However,the existing protocol registration phase requires offline secure channels,which is inconsistent with reality.Also the authentication phase is mostly based on third parties and requires multiple rounds of information exchange,increasing the complexity of the protocol interactions.In this paper,a lightweight V2V protocol is designed for public channels,which does not rely on the third party and only requires two rounds of information exchange during login and authentication phases.At the same time,a fast login phase is added to solve the delay of information exchange caused by sudden network interruptions.Theoretical analysis and formal verification results show that the designed protocol satisfied security properties such as authentication and confidentiality.关键词
认证与密钥交换协议/形式化分析/快速登录/ROR模型/ProverifKey words
authentication and key exchange protocol/formal analysis/fast login/ROR(real or random)model/Proverif分类
计算机与自动化引用本文复制引用
王秀珍,徐鹏,陈美荣,王丹琛,徐扬..一种车联网V2V认证与密钥交换协议设计与验证[J].信息安全研究,2025,11(5):465-472,8.基金项目
中央高校基本科研业务费专项资金项目(2682021GF012) （2682021GF012）
