计算机应用与软件2024，Vol.41Issue(7)：115-120,6.DOI:10.3969/j.issn.1000-386x.2024.07.018
数据高真实性的车联网Gatekeeper+协议研究及验证
RESEARCH AND VERIFICATION OF GATEKEEPER+NETWORK PROTOCOL WITH HIGH DATA AUTHENTICITY IN VEHICLE NETWORKING
摘要
Abstract
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+协议/数据真实性/模型检测技术Key words
Internet of vehicles/Gatekeeper+protocol/Data authenticity/Model checking technology分类
信息技术与安全科学引用本文复制引用
陈肜心,陈世超,刘杰,杨佳..数据高真实性的车联网Gatekeeper+协议研究及验证[J].计算机应用与软件,2024,41(7):115-120,6.基金项目
湖南省教育厅科学研究项目(22C0223). （22C0223）
