On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.
X.509 公钥基础设施（PKI）是广泛使用的可扩展且灵活的身份认证机制，但其标准文本由自然语言编写，存在设计复杂、歧义和欠规定（under-specification）等问题，导致实现者难以完全遵循标准。实际中，很多 X.509 实现库因
#certificate-validation
共收录 3 条相关情报。
← 返回所有主题Deep Dive into In-app Browsers: Uncovering Hidden Pitfalls in Certificate Validation.
本论文针对应用内浏览器（WebView）的证书验证机制进行了系统性安全评估，重点考察其对X.509证书标准的符合程度，以及对吊销与证书透明度（CT）等高级扩展的支持情况。作者开发了统一测试框架FAITH，利用实体设备（iOS）和模拟器（An
Classical Acceptance Is Not Hybrid Authentication: Measuring X.509 Verifier Semantics in Post-Quantum Migration
本文研究了后量子密码迁移过程中混合X.509证书验证的语义缺陷。混合证书同时携带经典（如RSA、ECDSA）和后量子（如CRYSTALS-Dilithium、Falcon）凭据，其设计为兼容性，通常将后量子证据放置在经典路径验证可能忽略的位