本论文针对二维码（QR码）缺乏固有安全机制的问题，提出了一套完整的安全二维码架构演化方案。QR码被广泛信任，但易受欺骗攻击（如quishing），尤其是在自助停车机等公共基础设施场景。作者首先评估了一种完全离线的概念验证方案，该方案采用EdDSA签名（基于Ed25519曲线）、CBOR编码证书和ZLIB压缩，证明在QR码严格的静态容量限制内可以实现强大的密码学完整性。然而，完全离线模型在规模化部署时存在关键撤销困难，不适用于大型智慧城市物联网部署。为此，作者进一步提出一种可扩展的混合Web PKI架构，利用标准化的JWKS端点、中央信任注册中心和URL片段，在保持与标准原生相机向后兼容的同时，为合规应用提供动态实时验证。这种双模式方法为消除QR码伪造提供了一条实用且可部署的路径。本研究适合安全架构师、二维码应用开发者以及物联网安全研究人员阅读。

本文对 IETF RFC 8555 标准化的 ACME（自动证书管理环境）协议进行了深入的符号安全分析。ACME 是 Web 公钥基础设施（PKI）的关键组成部分，被 Let's Encrypt 等证书颁发机构用于签发超过十亿张证书，目前大多数 HTTPS 连接都依赖于通过 ACME 颁发的证书。然而，相比于 TLS 1.3 或 OAuth 等其他协议标准，ACME 的安全性尚未得到同等深度的研究。先前的形式化分析仅考虑了早期草案版本的密码学核心，忽略了 RFC 中许多安全关键的低级细节，例如递归数据结构、带有异步子协议的长时间运行会话以及多域名证书的签发。本研究通过构建详细的符号模型，全面覆盖了 RFC 中定义的各种消息流程和状态转换，利用符号分析工具自动验证了 ACME 协议的安全属性，包括认证、授权、隐私和抗重放等。分析发现了若干潜在的设计缺陷和实现风险，并提出了改进建议。该工作为 ACME 协议的标准化和安全部署提供了重要的理论支撑。

本文提出了一种名为 PoF (Proof-of-Following) 的新机制，用于解决协作车辆队列中 V2V 通信的身份与物理状态绑定问题。现有的车辆队列依赖 PKI 保障消息完整性和真实性，但 PKI 无法将车辆的加密身份与其物理状态（如位置、速度、加速度等）关联起来。这意味着拥有合法证书的恶意远程车辆可以发送虚假的协同驾驶消息，从而干扰甚至操控队列行为，造成严重安全隐患。PoF 机制要求每个参与队列的车辆向其他成员证明自己确实“跟随”在前车之后，即其物理轨迹与前方车辆具有一致性和时序相关性。具体地，PoF 利用沿途部署的路侧单元（RSU）或使用车载传感器测量的相对距离、速度以及车辆轨迹的因果顺序来构建挑战-响应协议。在协议中，前车发送特定时间窗口内的观测数据（如经过的路标或前车自身的运动特征），后车必须提供匹配的本地感知或通信记录来证明自己位于该车的后方。通过验证这些证据，队列成员可以确认通信方是否处于合法的物理跟随位置，从而杜绝远程冒名攻击。作者还给出了 PoF 的正式安全定义，并分析了其抵抗多种攻击（如重放、位置伪造、合谋攻击）的能力。仿真实验表明，在合理的通信和感知精度下，PoF 能够以高概率检测到非法车辆，同时引入的通信和计算开销较小。本文的主要贡献包括：1）形式化定义了车辆队列中的“跟随证明”问题；2）设计了一套基于挑战-响应的轻量级验证协议；3）提供了安全性分析与仿真验证。该研究适合对物联网安全、自动驾驶安全、V2X 通信协议感兴趣的读者。

该论文提出了CTng（Certificate Transparency next generation），一种改进的证书透明度和撤销透明度系统。传统的证书透明度（CT）仅记录证书的签发，但缺乏对证书撤销的透明性，导致撤销延迟或隐藏问题。CTng通过引入日志结构同时记录证书和撤销信息，并使用高效的聚合机制，使得任何实体都能验证证书的当前状态（是否有效或已被撤销）。该系统基于公钥基础设施（PKI）和信任模型，利用哈希树和时间戳来保证数据的完整性和不可否认性。实验表明，CTng在存储和验证开销方面比现有方案（如CRLite）更具优势，同时提供了更强的安全保证，包括抗分叉和即时撤销通知。该研究适用于CA、浏览器厂商和安全研究人员，旨在提升HTTPS生态的安全性和透明度。