Accountability in Certificate Transparency and Variants
该论文针对证书透明化（Certificate Transparency, CT）这一已被所有主流浏览器支持的 TLS 证书生态机制，重新梳理其安全目标并给出严格的形式化分析。CT 的设计初衷是降低对证书颁发机构（CA）的信任依赖：所有 CA
#PKI
共收录 10 条相关情报。
← 返回所有主题X-amine509: Predicting the Practical Risk Level of Enterprise X.509 Certificates
该论文针对企业级 X.509 证书资产管理中的优先级排序难题提出解决方案。大型组织往往持有数百万张证书，虽然有基于 CA/Browser Forum 基线要求、NIST IR 8547/SP 800-57 及密码强度标准构建的确定性合规检查
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.
X.509 公钥基础设施（PKI）是广泛使用的可扩展且灵活的身份认证机制，但其标准文本由自然语言编写，存在设计复杂、歧义和欠规定（under-specification）等问题，导致实现者难以完全遵循标准。实际中，很多 X.509 实现库因
PoF: Proof-of-Following for Vehicle Platoons.
该论文针对协作式车辆队列（vehicle platooning）中的安全问题展开研究。协作式队列通过车辆间的物理感知与V2V（车对车）消息交换来协调加速、制动和转向，能显著提升高速公路安全性、燃油效率和交通流量。然而，V2V消息的真实性和完
Battlefield 5G: Dual-PKI and TPM-Based UE Attestation for Tactical 5G Standalone Networks
标准5G认证与密钥协商（5G-AKA）仅验证存储在通用用户身份模块（USIM）上的订阅凭证，而不验证持有该凭证的物理设备或其启动状态。在战术5G部署中，用户设备可能被捕获、篡改、重新投入使用，或与移植的订阅凭证一同使用，这一安全缺口尤为严重
On-device IoT Certificate Revocation Checking with Small Memory and Low Latency.
该论文针对物联网(IoT)设备间通信中证书撤销(CR)检查资源开销大、状态同步延迟高的问题，提出了一种名为TinyCR的片上证书撤销检查系统。在IoT场景中，设备间相互验证数字证书是安全协议的关键环节，但传统CR检查（如CRL或OCSP）需
Secure QR Codes: Authenticity Verification via EdDSA Signatures and CBOR Certificates
本论文针对二维码（QR码）缺乏固有安全机制的问题，提出了一套完整的安全二维码架构演化方案。QR码被广泛信任，但易受欺骗攻击（如quishing），尤其是在自助停车机等公共基础设施场景。作者首先评估了一种完全离线的概念验证方案，该方案采用Ed
An In-Depth Symbolic Security Analysis of the ACME Standard.
本文对 IETF RFC 8555 标准化的 ACME（自动证书管理环境）协议进行了深入的符号安全分析。ACME 是 Web 公钥基础设施（PKI）的关键组成部分，被 Let's Encrypt 等证书颁发机构用于签发超过十亿张证书，目前大
Toward Space-Based Public Key Systems: Enabling Secure Space Communications through In-Orbit Trust Services
随着新太空时代的发展，近地轨道上由独立实体运营的卫星数量激增，这带来了更丰富的空间服务需求，但也要求安全、近实时的协调。高效的太空资产认证对于下一代任务至关重要。传统依赖地面的公钥基础设施（PKI）存在延迟和操作瓶颈，限制了在动态太空环境中
CTng: Secure Certificate and Revocation Transparency.
该论文提出了CTng（Certificate Transparency next generation），一种改进的证书透明度和撤销透明度系统。传统的证书透明度（CT）仅记录证书的签发，但缺乏对证书撤销的透明性，导致撤销延迟或隐藏问题。CT