摘要
- RFC 3554 让 IPsec 能表达 SCTP 关联两端的地址集合,但要求选择器里的每个地址都经过验证。Phase 1 的合法身份不是任意地址的通行证。
- 可审计的完成状态必须把最终地址集合贯穿到 IKE 更正、SPD 安装、SAD 查找和 SCTP 实际选路;其中任何一层成功,都不能替后续层签字。
“关联”听起来像一个对象,多宿主在网络里却是许多可路由声明。地址可能分散在不同网段,不能靠一个前缀笼统表达。若为每个源地址和目的地址组合建立独立策略,规模会迅速膨胀;若把它们压成一个集合,一项错误又会进入整组权限。
RFC 3554 于 2003 年 7 月以建议标准发布,解决的正是这组张力。它提出以地址集合充当选择器,并要求任何已协商目的地址与同一 SPI、安全协议组合查询时,都应落到同一条安全关联。
身份证明确认主体,地址授权限定范围
IKE Phase 1 可以确认通信对端及其凭据。RFC 3554 明确指出,仅仅是有效对端还不够。响应方必须有证据证明,发起方有权在它声明的所有地址接收流量。
证据可以来自 Phase 1 证书与身份,也可以来自带外政策。一个证书可以包含多个主题备用名称,多个证书也可以共用公钥。它们提供的是建立映射的方法,而不是免除逐项判断的理由。
若把“身份有效”扩大成“地址随便填”,一个合法对端就可能声称另一个对端的地址。随后生成的包完全可以通过正确的 SA 加密,却被送往不应获准的地点。密码学没有坏;坏的是加密之前的授权决定。
因此,日志里至少要有两个独立判定:对端身份通过,以及这个版本的地址集合通过。后一项应列出每个成员、授权依据、有效期、决策者和拒绝原因。
第一份 Quick Mode 提案可能本来就不完整
初次 Quick Mode 的发起方未必知道响应方所有地址。RFC 3554 不假设双方知识对称。若选择器不足或不准确,响应方应反转角色,发起新的 Quick Mode,在保留相关 SA 与选择器上下文的同时修正自己的地址集合。
这不是把同一报文再发一次。它更换了数据声明者,也暴露了最初知识缺口。审计记录要保留首个提案、响应方的判断、集合差异、逐项验证和最终同意,而不是只留下最后一次成功。
规范定义的 ID_LIST 可以把多个 Identification Payload 作为一个选择器集合传送,并禁止嵌套列表。结构受控有利于解析,但“格式正确”从不等于“成员有权”。
协商的一组地址不能在实现里裂成几套状态
最终集合要投影进 Security Policy Database;Security Association Database 则要让每个协商目的地址都能以同一 SPI 和安全协议找到同一 SA。SCTP 选路还必须使用这些已获准、已安装的成员。
握手成功之后仍可能出现三类漂移:IKE 记录完整而 SPD 漏装一项,SAD 只支持主地址查询,或 SCTP 切到尚未安装策略的备用路径。只测主路径,等于让真正需要故障切换时才暴露权限与安装问题。
证据链应保存集合版本与哈希、SPD 条目和优先级、SAD 对每个目的地址的查找结果,再执行受控切换和非成员负向测试。这样才能证明逻辑上的一个集合在数据面仍然是一个集合。
地址变化会重新打开授权问题
RFC 3554 发布时采用的 SCTP 基础规范尚不支持关联存续期间变更地址集合,但文件已经预见相关风险:攻击者可能让自己控制的地址加入现有会话,从而接收后续流量。
RFC 5061 后来定义了 Dynamic Address Reconfiguration 以及带认证的控制块。这是相邻背景,不是任何部署的证明。更重要的是,认证新增地址请求只说明谁发了请求,并不说明请求者拥有那个地址。
每次增加或删除都应产生新的集合版本,重新进行逐地址授权,同步 SCTP 与 IPsec 状态,明确旧选择器何时退出,并观察实际流量。旧状态未退场前,“更新已接受”不能写成“迁移完成”。
一条能够复核的记录
先保存 Phase 1 身份:证书链、名称、密钥绑定、政策域、校验时间与撤销状态。随后逐项记录地址、授权证据和结果。SCTP 关联则保留本地与远端集合及版本。
Phase 2 记录首个提案、ID_LIST 全部成员、协议、端口、变换、SPI 请求和发起者。角色反转是一条派生事务,要关联原提案和差异。SPD/SAD 回执证明安装,逐目的地址查询证明一致性,包级观测证明 SCTP 实际选择了哪条路径及哪条 SA。
RFC 2960 与 RFC 4960 提供 SCTP 边界;RFC 2401、RFC 2409、RFC 2407 说明当时 IPsec/IKE 背景;RFC 4301 是后来架构语境。这些文件都不证明某个实现或事故。本文只据 RFC 3554 界定授权边界。
组合数量庞大,也不能成为隐藏逐项判断的理由。系统可以压缩规则数量,同时为每个成员保留可查询的决策。聚合对象至少应回答:哪个地址因何进入,依据由谁维护,哪次测试证明它已正确投影。否则今天节省的控制成本,只会变成未来无法偿还的取证成本。
可达性与权限也要分开。一个地址可以响应,却没有资格收包;另一个地址可能有资格,却暂时不可达。故障切换不能因为“它回应了”就提升一条路径。选路应同时读取健康状态和授权状态,任何一项都不能冒充另一项。
证据边界
本文不指认任何运营商、厂商、端点、证书、地址、安全关联、攻击或受害者,也不声称采用率、实测开销或生产重定向。场景来自协议允许的可能性。
Heng Lu 关于运行代码优先与最小初始规范的文章,是公开说明的编辑视角。它们帮助区分规范、安装状态与可观察结果,并不证明 RFC 作者意图或网络事实。
结论止于此:IKE 能认证对端,也能协商一份语法正确的地址列表。只有逐地址权限、跨数据库一致投影和路径观测,才能证明列表里每一个地址都有资格收包。
Sources
- https://www.rfc-editor.org/rfc/rfc3554.html
- https://www.rfc-editor.org/info/rfc3554
- https://datatracker.ietf.org/doc/rfc3554/
- https://www.rfc-editor.org/rfc/rfc2960.html
- https://www.rfc-editor.org/rfc/rfc4960.html
- https://www.rfc-editor.org/rfc/rfc5061.html
- https://www.rfc-editor.org/rfc/rfc2401.html
- https://www.rfc-editor.org/rfc/rfc4301.html
- https://www.rfc-editor.org/rfc/rfc2409.html
- https://www.rfc-editor.org/rfc/rfc2407.html
- https://www.rfc-editor.org/rfc/rfc8174.html
- https://heng.lu/running-code-primary-the-patch-needed-to-preserve-the-internet-original-design/
- https://heng.lu/minimum-initial-specification-localized-future-decision-voluntary-adoption-internet-coordination-system/
会员简报
档案背景详情
使用相应会员等级登录,即可解锁完整简报与来源注释。
仅限 Strategic Circle
Strategic Circle
所有读者均可浏览。加入并登录后可解锁档案简报。
加入 Strategic Circle仅限 Leadership Alliance
Leadership Alliance
符合条件的 IP 资产所有者和管理层可登录查看 Leadership Alliance 简报。
加入 Leadership Alliance
