【WireGuard】深度探讨：形式化证明、密码敏捷性与后量子
Dowling–Paterson 对 1.5 RTT confirmation 的证明障碍、Donenfeld 的回应、netdev 上「无算法协商」争论、PSK 量子权宜之计，以及 WireGuard 作为 ZTNA 数据面的边界与开放问题。
crypto-agility 标签归档
共 3 篇文章 · 返回首页
【IPSec】深度探讨：形式化证明、密码敏捷性与后量子
用 Cremers ESORICS 2011 的 IKEv2 形式化结论、RFC 9370 混合密钥交换与 Gazdag 等对 PQ 扩展的 Tamarin 分析，对照 WireGuard 的无协商立场，收束何时仍应选择 IPsec。
【密码学】密码敏捷性：如何设计可升级的密码系统
算法总会过时——密码敏捷性是系统在不中断服务的前提下平滑迁移密码算法的能力。本文从接口设计模式、降级攻击状态机到后量子混合部署案例，给出可落地的工程方案。