ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.
本文提出了 ARMOR，这是首个针对 X.509 证书链验证逻辑（CCVL）的大规模形式化验证实现，旨在为 RFC 5280 的大部分内容提供机器可检查的正确性保证。ARMOR 的设计目标有两个：一是作为 RFC 规范的形式化、机器可检查的
#certificate-chain-validation
共收录 1 条相关情报。
← 返回所有主题