一种车联网V2V认证与密钥交换协议设计与验证.pdfVIP

学术论文

DOl:10.12379/j.issn.2096-1057.2025.05.09ResearchPapers

一种车联网V2V认证与密钥交换协议设计与验证

王秀珍1.4陈美荣·2王丹琛13

徐鹏4陈徐扬

1（系统可信性自动验证国家地方联合工程实验室成都611756)

611731)

²（成都纺织高等专科学校成都

610021)

3（四川省数字经济研究中心成都

4（西南交通大学数学学院611756)

成都

(2921644498@)

DesignandVerificationofV2VAuthenticationandKeyExchangeProtocol

forInternetofVehicles

WangXiuzhen-,XuPeng4,ChenMeirongl*2,WangDanchen-,andXuYangl.

I(National-LocalJointEngineeringLaboratoryofSystemCredibilityAutomaticVerification,Chengdu611756)

2(ChengduTextileCollege,Chengdu611731)

3(SichuanDigitalEconomyResearchCenter,Chengdu610021)

4(SchoolofMathematics,SouthwestJiaotongUniversity,Chengdu611756)

AbstractIntheInternetofvehiclessystem,vehiclesneedtoachievecommunicationsofvehicleto

vehicle(V2V),whichneedsstrongsecurity,lowlatency,useranonymityandothersecurity

characteristics.Authenticationandkeyexchangeprotocol(AKE)isbasedoncryptographic

algorithms,aimingtocompletesessionkeynegotiationforsubsequentinformationexchange

betweencommunicationparties.Itisanimportantmeanstoensurethesecurityofvehicle

networking.However,theexistingprotocolregistrationphaserequiresofflinesecurechannels,

whichisinconsistentwithreality.Alsotheauthenticationphaseismostlybasedonthirdparties

andrequiresmultipleroundsofinformationexchange,increasingthecomplexityoftheprotocol

interactions.Inthispaper,alightweightV2Vprotocolisdesignedforpublicchannels,whichdoes

notrelyonthethirdpartyandonlyrequirestworoundsofinformationexchangeduringloginand