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

来源：计算机应用与软件杂志2024年第7期北京时间：

作者：陈肜心, 陈世超, 刘杰, 杨佳

摘要：车联网通信中数据包的真实性直接关系到车联网通信的安全性。新型车载广播认证协议Gatekeeper具有源身份认证和防护DoS攻击的优势，将是未来主流的车联网通信协议之一。但目前其缺乏对数据真实性的保障机制，导致车载通信会因数据真实性的缺失破坏通信的完整性、鲁棒性和安全性。因此，在原协议的通信中建立多重反馈机制，增加对数据真实性的认证方法，扩展成Gatekeeper+协议，弥补对数据真实性保障机制上的不足。并使用时序逻辑CTL建立数据真实性的逻辑表达式，通过模型检测技术验证了Gatekeeper+协议在通信中数据真实性保障能力，还进一步验证了扩展后Gatekeeper+协议的安全性和完整性，确保新协议在车载通信服务中的安全可靠。

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