On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.

X.509 公钥基础设施（PKI）是广泛使用的可扩展且灵活的身份认证机制，但其标准文本由自然语言编写，存在设计复杂、歧义和欠规定（under-specification）等问题，导致实现者难以完全遵循标准。实际中，很多 X.509 实现库因

历史摘要 · 未重新核验 · ACM CCS