【IPSec】IKEv2 握手：IKE_SA_INIT 与 IKE_AUTH
RFC 7296 用两个交换、四条消息建立 IKE SA 并捎带首个 Child SA。本文按载荷语义拆开 IKE_SA_INIT / IKE_AUTH，说明 PSK 与证书 AUTH、Cookie 抗 DoS 边界，以及和 WireGuard 1.5 RTT 确认的差异。
ikev2 标签归档
共 5 篇文章 · 返回首页
【IPSec】密钥派生与 Child SA
从 SKEYSEED 与 prf+ 展开 IKEv2 密钥树，说明 SK_d/SK_e/SK_a 如何喂给 Child SA，以及 CREATE_CHILD_SA、流量选择器与 rekey 改写了哪些运行时对象。
【IPSec】strongSwan：从 swanctl 到内核 SA
拆解 strongSwan 的 charon、VICI/swanctl 与 kernel-netlink：配置里的 connections/children/proposals 如何变成 Linux xfrm 的 policy 与 state，并与 VPN 对比文中的站点示例对齐。
【IPSec】深度探讨：形式化证明、密码敏捷性与后量子
用 Cremers ESORICS 2011 的 IKEv2 形式化结论、RFC 9370 混合密钥交换与 Gazdag 等对 PQ 扩展的 Tamarin 分析，对照 WireGuard 的无协商立场，收束何时仍应选择 IPsec。
IPSec / IKEv2 深度系列：从正确分层到 Linux xfrm
作为 WireGuard 系列的对照续作：拆解 RFC 4301 的 SPD/SAD、IKEv2 握手与密钥树、ESP/NAT-T、Linux 6.6 xfrm 与 strongSwan 落盘，并以形式化分析与后量子混合 KE 收束选型边界。