#x.509

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Taesung Kim, Boheung Chung, Keonwoo Kim, Yousung Kang

本文研究了后量子密码迁移过程中混合X.509证书验证的语义缺陷。混合证书同时携带经典(如RSA、ECDSA)和后量子(如CRYSTALS-Dilithium、Falcon)凭据,其设计为兼容性,通常将后量子证据放置在经典路径验证可能忽略的位置。验证者可能仅通过经典路径验证就接受证书,而从未让后量子证据影响验证决策,导致“经典接受”被错误地当作“混合认证”成功。作者测量了八个路径验证栈(七个独立代码库)在九种验证模式下对六种证书方案的处理行为。结果显示,在要求混合验证的策略下,几乎所有解析可分离混合证书的栈都仅依赖经典路径接受,而未使后量子证据成为决策的必要部分;一种强制验证模式却因签名输入编码尚未互操作配置而导致互操作性断裂;即使栈验证了后量子签名,也默认不强制执行绑定约束——这种缺陷是结构性的,不能仅归因于缺少基本能力。当生命周期不同步时(例如后量子凭据被撤销而经典证书仍然有效),默认路径仍会接受,因为已撤销的凭据不在决策范围内。作者贡献了一个基于规范的验证者模型和一个可执行的、策略参数化的参考合同,明确了验证者在报告混合验证成功前必须识别、验证、使其影响决策并进行检查的语义,并分析了现有标准未要求此语义的原因。本文适合密码学实现者、证书颁发机构、浏览器和操作系统安全团队阅读。

💡 推荐理由: 揭示了后量子迁移中一个被忽视的验证语义漏洞:即使部署了后量子密码,攻击者仍可能通过经典路径绕过,导致混合认证名存实亡。标准制定者和实现者需紧急修复。

🎯 建议动作: 研究跟进:评估自身验证栈是否存在类似语义缺陷,并关注相关标准(如PKIX WG)和社区修复方案。

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)