摘要

  • RFC 9986 让 BFD 接收端核对从带密钥 ISAAC 序列派生的 32 位 Auth Key。匹配能表明发送方掌握共享材料并处于可接受的序列位置，却不能认证报文的其余字段。
  • 可复核的证据必须带着时间与会话边界：实现版本、discriminator、密钥轮次、seed、序列窗口、ISAAC 页状态、比较结果以及之后的 MCI 复验，不能被扩写成路由或业务正常的证明。

一次代码审查中，测试日志只有三列：Key ID、received value、expected value。最后一列显示 MATCH。评审表随后把这一行改写成“BFD packet authenticated”。信息只多了一个词，证据范围却被扩大了一个层级。

这是一个为分析构造的场景，不指向真实厂商、网络或事故。关键约束来自 RFC 9986：Meticulous Keyed ISAAC 是 RFC 9985 优化认证框架中的低计算强度机制。规范同时明确，这种格式的报文没有被签名，也没有作为整包接受认证，因此不得用来表达状态变化。

它真正回答的问题更窄：在当前 BFD 会话输入、共享秘密、seed 与序列位置下，接收端能否算出同一个 32 位值。结果相等，可以作为发送方掌握材料且序列状态可接受的信号。它没有把 Diagnostic、State、Poll、Final、Demand 或 discriminator 等其他字段绑定进一个完整性标签。

“Auth Key”这个名称很容易制造过量信心。协议字段的名字说明用途，不说明密码学覆盖范围。审计时必须追问参与计算的是哪些数据、没有参与的是哪些数据，而不能从 Authentication Section 的栏目名倒推保证。

RFC 9986 的认证段包含类型、长度、Key ID、seed、序列号偏移与 32 位 Auth Key。接收方选择密钥，核对 seed，判断序列位置是否落入接收窗口，再生成候选值。比较通过，证明的是这套 LCI 规则通过。报文主体并没有随之得到摘要或标签保护。

拿 RFC 8439 作对照，可以看清概念差异：认证加密的 tag 会绑定密文和关联数据。这里引用它不是建议给 BFD 更换算法，而是为了保持术语准确——验证一个伪随机输出，与验证覆盖报文内容的认证标签，是两种不同的操作。

RFC 9986 的证据还是有时态的。ISAAC 分页产生输出，并以破坏性的方式推进内部状态。为了容忍一定范围内的丢包、迟到或乱序，接收端可能需要向前试算。规范要求试算未来页时保存并恢复状态。若实现为了检查一个候选值而悄悄推动了活动生成器，下一份本来有效的报文可能被错拒；事后也无法重演当时为何接受。

seed 划出了另一条边界。会话每次转入 Up 都要使用新的 seed，在这一段 Up 期间 seed 保持不变。因此只记录“Key ID 7，匹配”毫无上下文。需要同时留下哪一次 Up、哪个 seed、哪个序列位置，以及接收窗口如何判定。共享秘密不能进入公开日志，但可以记录其配置与轮换轮次。

密钥复用把治理责任放大。RFC 9986 在受限条件下允许复用，并把会话参数纳入派生以区分输出；这不代表配置过程可以忽略。一个密钥覆盖的会话越多，泄露、轮换不一致或证据丢失的影响面越大。评审对象应是密钥轮次、会话集合、派生输入、责任人和到期规则，而不是一个“ISAAC 已开启”的开关。

文档本身也要求克制。RFC Editor 页面把 RFC 9986 标为 Experimental。它用较低计算成本交换较低安全性，对 ISAAC 的评价至多是“在这里可以容忍”，并承认密码分析有限、没有证明，也不适合推广到其他 IETF 协议。IACR 论文提供的是审慎理由，不是某个 RFC 9986 部署已经遭到利用的证据。

同样不能把它包装成通用互操作徽章。它服务于 RFC 9985 的特定架构，不能因为同属 BFD 就假定与 RFC 5880 的常规认证实现互通。IANA BFD Parameters登记的是协议编号，不是部署、采用或成功运行的证明。

RFC 5881提醒我们 BFD 观察的是有边界的单跳转发路径；RFC 7419、RFC 8177 与 RFC 9127给出算法和协议背景。它们都没有把一次 LCI 匹配升级为选路、应用交易或客户体验的事实。

RFC 9985 的周期性 MCI 复验是另一项控制。按配置周期，它可以限制不恰当 Up 状态持续的时间，却不能追溯认证此前每个 ISAAC 格式报文的内容。两类记录应当关联，但不能合并成一句“全程经过认证”。

Heng Lu 的现实分层要求把标准、实现能力、密钥配置、观测到的 Auth Key、BFD 状态、客户端反应与业务结果分别保存。运行代码优先让真实实现行为高于 RFC 标签。最小初始规范则适合定义一份窄而可移植的回执，把后续行动留给承担后果的本地责任人。

这份回执应列出 RFC 与勘误基线、实现 build、本地和远端 discriminator、Key ID、配置与轮换轮次、seed 与 Up 轮次、发送和接受的序列位置、窗口规则、ISAAC 页及状态恢复行为、比较结果、未受完整性保护的字段、MCI 结果、客户端反应、决策负责人和回滚条件。它应足以重演判定逻辑，但绝不能泄露共享秘密。

Auth Key 匹配是有用证据。严格限制它所代表的命题，正是保存其价值的方式。

来源