数据高真实性的车联网Gatekeeper+协议研究及验证  

RESEARCH AND VERIFICATION OF GATEKEEPER+ NETWORK PROTOCOLWITH HIGH DATA AUTHENTICITY IN VEHICLE NETWORKING

作　　者：陈肜心 陈世超 刘杰[2] 杨佳 Chen Rongxin;Chen Shichao;Liu Jie;Yang Jia(School of Electronic and Information Engineering,Beijing Jiaotong University,Beijing 100044,China;School of Computer,University of South China,Hengyang 421001,Hunan,China)

机构地区：[1]北京交通大学电子与信息工程学院,北京100044 [2]南华大学计算机学院,湖南衡阳421001

出　　处：《计算机应用与软件》2024年第7期115-120,共6页Computer Applications and Software

基　　金：湖南省教育厅科学研究项目(22C0223)。

摘　　要：车联网通信中数据包的真实性直接关系到车联网通信的安全性。新型车载广播认证协议Gatekeeper具有源身份认证和防护DoS攻击的优势,将是未来主流的车联网通信协议之一。但目前其缺乏对数据真实性的保障机制,导致车载通信会因数据真实性的缺失破坏通信的完整性、鲁棒性和安全性。因此,在原协议的通信中建立多重反馈机制,增加对数据真实性的认证方法,扩展成Gatekeeper+协议,弥补对数据真实性保障机制上的不足。并使用时序逻辑CTL建立数据真实性的逻辑表达式,通过模型检测技术验证了Gatekeeper+协议在通信中数据真实性保障能力,还进一步验证了扩展后Gatekeeper+协议的安全性和完整性,确保新协议在车载通信服务中的安全可靠。The authenticity of data packets in internet of vehicles communications is directly related to the security of internet of vehicles communications.The new vehicle broadcast authentication protocol Gatekeeper has the advantages of source identity authentication and protection against DoS attacks,and will be one of the mainstream vehicle networking communication protocols in the future.However,it currently lacks a guarantee mechanism for data authenticity,causing in-vehicle communications to destroy the integrity,robustness,and security of communications due to the lack of data authenticity.Therefore,by establishing multiple feedback mechanisms in the communication of the original protocol,adding authentication methods for data authenticity,and extending it into the Gatekeeper+protocol,we made up for the shortcomings in the data authenticity guarantee mechanism.It also used sequential logic CTL to establish logical expressions of data authenticity,and used model detection technology to verify that the Gatekeeper+protocol met the authenticity nature of data transmission.It further verified the security and integrity of the expanded Gatekeeper+protocol to ensure the safety and reliability of the protocol in vehicle communication services.

关 键 词：车联网 Gatekeeper+协议 数据真实性 模型检测技术 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]