推荐 5.7
Conf: 50%
资源公钥基础设施(RPKI)已成为保护域间路由安全的关键技术。然而,RPKI软件的安全性测试长期停留在浅层解析阶段,现有模糊测试工具(如AFL++、libFuzzer)因假设每次执行输入单一且独立,无法处理RPKI仓库中数百个相互依赖、经密码学链接的对象。这种复杂性导致现有工具无法精确追踪多对象仓库中的代码覆盖率,破坏了基于反馈的探索机制,从而遗漏了RPKI验证中的多数严重漏洞。本文提出并实现了一种新型模糊测试工具CAT,通过连续采样和将函数作为侧信道实现大规模输入仓库中每个对象的精确覆盖率归因。同时,通过将解析输入转换为带标签的树结构,CAT能够在保持变异仓库密码学有效性的前提下进行结构和语义突变。CAT结合了非顺序模糊测试与模板无关的ASN.1变异引擎,相比顺序模糊测试吞吐量提升66倍,相比libFuzzer和先前工作多探索24%-47%的独特代码路径。在RPKI验证器上的评估中,CAT发现了21个先前未知的漏洞,其中8个已分配CVE(CVSS 7.5-9.8),包括缓冲区溢出、拒绝服务(DoS)和可被利用的仓库投毒逻辑缺陷。CAT已开源,以支持可重复性、进一步研究以及将方法推广至DNSSEC、TLS等其他基于密码学的复杂协议。
💡 推荐理由: RPKI是保护互联网路由安全的关键基础设施,其验证软件中的漏洞可能导致路由劫持、服务中断等严重后果。CAT工具显著提升了RPKI软件的安全性检测能力,发现的多个高危漏洞(CVSS最高9.8)直接威胁到全球路由安全。
🎯 建议动作: 建议RPKI实现者评估并集成CAT进行持续测试,关注已分配CVE并尽快修复;安全研究者可借鉴其方法应用于其他协议。
排序因子: 来自 arXiv 其他板块 (+2) | 命中热门研究主题 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.7)