佐治亚理工等发现CAN XL七项新漏洞

发生了什么

据Semiconductor Engineering报道，佐治亚理工学院、卡塔尔计算机研究所和普渡大学的研究人员发表了关于CAN XL的形式化安全分析论文。研究发现，尽管CAN XL旨在提供更高带宽和增强安全性，但其MAC子层仍存在所有已知的CAN CC漏洞，并引入了七项新漏洞，可能加剧安全风险。研究团队开发了精确的CAN XL形式化模型，并通过模拟真实车辆流量的测试床验证了这些漏洞的可利用性，提出了包括形式化验证标准修订在内的缓解措施。