4、车载网络安全：广播时间同步协议与商用车嵌入式网络攻击分析

车载网络安全：广播时间同步协议与商用车嵌入式网络攻击分析

1. 广播时间同步协议攻击与防护

广播时间同步协议在网络通信中起着至关重要的作用，而TESLA类机制常被用于保护此类协议的安全。然而，攻击者可利用特定的时间与安全相互依赖关系，对这些受保护的广播时间同步协议发起攻击。

通过配置Bob，使其在间隔55秒后才发送广播数据包，可实现最大延迟$D_{max} ≤ 5$秒。在这种情况下，ASTS协议在一定程度上能抵御攻击，其攻击的第二阶段无法达成。

为应对此类攻击，研究人员提供了多种对策，并讨论了它们各自的优点。同时，还探讨了如何将这些对策组合起来，以更好地防御攻击，特别是针对攻击的第二阶段。

利用UPPAAL模型检查器进行的自动化分析证实，未修改的MEP模型易受攻击，而组合对策则具有一定的有效性。此外，对三个现有协议的评估发现，它们都具备与所提出的对策选项相对应的机制，可用于防御攻击。不过，这些协议的保护效果取决于机制的具体应用方式，尤其是协议所使用的精确配置值。

未来，研究人员计划改进UPPAAL模型，以实现最大可接受偏移与间隔长度的更优比率。同时，正在进行一项项目，将TinySeRSync、ASTS或两者的实现版本按照发现的攻击向量进行攻击测试，该攻击将在受控的真实网络或模拟环境中由攻击软件执行，旨在证明现有规范的实际相关性，并进一步量化在特定情况下实现的脆弱性或安全性。

未来研究还应深入分析使用TESLA类机制保护广播型时间同步通信的现有和即将推出的规范，潜在应用包括NTS - 安全NTP的最终版本以及为IEEE 1588标准（PTP）添加安全机制的工作。此外，还可探讨攻击者利用仅触发频率操纵的延迟攻击造成干扰的程度