热点事件持续更新
CAN XL 首个形式化安全分析揭示新漏洞
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月3日，佐治亚理工、QCRI 与普渡大学发布对 CAN XL 标准 MAC 子层的首个形式化安全分析。分析发现，CAN XL 仍受全部已知 CAN CC MAC 子层问题影响，并新增 7 个漏洞。团队用商用 CAN XL 控制器验证了这些漏洞，并在模拟真实车辆流量的测试台上演示了两种多阶段攻击，同时提出包括形式化验证标准修订在内的缓解方案。
AI 根据报道生成 · 24 分钟前更新
最新进展10月3日 03:05
研究显示 CAN XL 仍受全部已知 CAN CC 问题影响，并新增 7 个漏洞。报道时间线
沿着报道，了解事件的不同侧面。
10月3日
- Semiconductor Engineering佐治亚理工、QCRI 与普渡大学发布 CAN XL 首个形式化安全分析
佐治亚理工、QCRI 与普渡大学对 CAN XL 标准 MAC 子层完成首个形式化安全分析，发现它仍受全部已知 CAN CC MAC 子层问题影响，并新增 7 个漏洞。团队用商用 CAN XL 控制器验证漏洞，并在模拟真实车辆流量的测试台上演示了两种多阶段攻击，同时提出包括形式化验证标准修订在内的缓解方案。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。