摘要：

为保障系统内车辆与车辆以及车辆与基础设施的无线通信安全,根据车联网特点,在不借助可信第三方的情况下,引入物理不可克隆函数,提出一种轻量级双向认证协议。利用GNY逻辑进行形式化分析,并通过安全性分析和效率分析,证明该协议在有效保护隐私的情况下完成双向认证,且能够抵抗克隆、窃听、重放、中间人等攻击,满足车联网的安全需求。效率及安全性分析结果表明,与同类协议相比,该协议具有较高的安全性和认证效率。

关键词: 车联网, 轻量级, 双向认证协议, 物理不可克隆函数, GNY逻辑

Abstract:

Aiming at the characteristics of the internet of vehicles,in order to ensure the wireless communication security of Vechicle-to-Vechicle(V2V) and Vechicle-to-Infrastructure(V2I) in the system,a Physical Unclonable Function(PUF) is introduced without the aid of a trusted third party,and a lightweight mutual authentication protocol is proposed.Using GNY logic for formal analysis,and through security analysis and efficiency analysis,it proves that the protocol can achieve mutual authentication under the condition of effective protection of privacy,and can resist attacks such as cloning,eavesdropping,replay,and middleman,the protocol can meet the security requirements of VANET.Efficiency and safety analysis results show that the protocol has better security and authentication efficiency than similar protocols.

Key words: internet of vehicles, lightweight, mutual authentication protocol, Physical Unclonable Function(PUF), GNY logic

中图分类号: 

• TP391