TY -的A2 -杨,Anjia盟——Zelle丹尼尔盟——Gurgens Sigrid PY - 2021 DA - 2021/11/30 TI - BusCount:汽车可以可证明的重放保护解决方案网络SP - 9951777六世- 2021 AB -信息技术已经成为现代汽车发展的杰出。50多个电子控制单元(ecu)实现车辆在硬件和软件功能,从发动机控制和信息娱乐未来自主驾驶系统。不仅与外部世界的联系构成新的威胁,而且车载ecu之间的通信,实现了总线系统,如控制器区域网络(可以),需要防止操纵和重放的消息。过去多个对策提出了利用消息身份验证代码和时间戳和消息计数器,分别提供消息新鲜,特别是AUTOSAR的安全机载通信(SecOC)。在本文中,我们专注于后者的。作为本文的一个方面,使用一个适当的正式模型和证据,我们将显示当前考虑的解决方案表现出不足,很难(如果不是不可能克服各自范围内的方法。我们进一步提出一个基于硬件的方法,以避免这些不足并正式证明其新鲜度属性。此外,我们将展示其实用性的硬件实现。最后,我们评估我们的方法相比,counter-based目前正在使用的解决方案。SN - 1939 - 0114 UR - https://doi.org/10.1155/2021/9951777 - 10.1155 / 2021/9951777摩根富林明安全和通信网络PB - Hindawi KW - ER