1. 课程导入
在嵌入式设备、物联网终端、汽车电子与工业控制系统中，固件是设备可信启动与安全运行的根基。攻击者一旦获得固件更新通道的控制权，最直接、最隐蔽的攻击方式之一，就是把设备"退回"到存在已知漏洞的旧版本，从而绕过已修复的安全机制。这种攻击被称为固件降级攻击（Downgrade Attack），而抵御它的核心工程手段，就是防降级（Anti-Downgrade）与回滚保护（Rollback Protection）。
一、核心定义：什么是防降级与回滚保护
防降级与回滚保护，是指设备在固件更新与启动过程中，通过密码学手段强制约束"只能升级到不低于当前安全等级的版本"，并拒绝任何试图安装或运行旧版本固件的机制。它包含三个关键要素：
- 版本单调性：固件版本号或安全计数器（Security Counter）只能递增，不能回退。
- 状态持久化：当前已接受的最低版本必须存储在不可回滚的可信存储中，如 OTP、eFuse、TEE 安全存储或受保护的 Flash 区域。
- 验证前置：在固件写入或启动之前，由可信根（Root of Trust）验证版本与签名，验证失败则拒绝执行。
核心公式：可信固件 = 签名验证（完整性 + 来源可信） + 版本约束（新鲜性 + 不可回退）
需要特别区分两个概念：防降级侧重更新阶段的策略控制，防止旧固件被写入；回滚保护侧重运行阶段的状态约束，防止设备被诱导启动到旧版本。二者通常协同工作，构成完整的版本安全链。
二、为什么重要：真实威胁与业务影响
固件降级并非理论风险。攻击者常利用旧版本中已公开的 CVE 漏洞，通过降级绕过补丁，进而实现持久化控制、提取密钥或发起横向攻击。其典型危害包括：
- 安全补丁失效：设备退回含漏洞版本，已修复的提权或远程执行漏洞重新暴露。
- 信任链断裂：旧固件可能使用弱签名算法或已泄露密钥，破坏整机信任根。
- 合规风险：汽车、医疗、金融终端等场景对固件版本有强制合规要求，降级可能导致认证失效。
- 业务损失：设备被劫持后可用于僵尸网络、数据窃取或物理破坏，造成召回与品牌损失。
常见误区：认为"固件有签名就安全"。实际上，签名只保证固件来源与完整性，若没有版本约束，攻击者仍可重放一个合法签名的旧固件，这就是典型的回滚重放攻击。
三、整体课程框架与学习目标
本课程共 30 章，围绕"威胁建模—密码学基础—启动链—更新链—存储与状态—工程实现—测试验证—复盘演进"的主线展开。学习完成后，你应能够：
- 识别固件降级与回滚攻击的威胁模型与攻击面。
- 设计基于安全计数器、版本号与可信存储的防降级方案。
- 在 U-Boot、TF-A、OP-TEE、A/B 分区等真实组件中落地回滚保护。
- 编写测试用例，验证降级被正确拒绝且升级路径可用。
- 评估方案在成本、性能、可维护性之间的权衡。
下图展示了本课程的核心知识框架与防降级保护在固件生命周期中的位置：
四、典型场景与工程案例
以智能摄像头为例：厂商发布 V2.1 固件修复了远程命令执行漏洞。攻击者获取到 V2.0 的合法签名固件后，通过伪造 OTA 服务器或中间人劫持，诱导设备安装 V2.0。若设备仅校验签名而不校验版本，V2.0 会被正常接受，漏洞重新暴露。若设备在 eFuse 中记录了最低允许版本 2.1，并在启动时比对，则 V2.0 会被拒绝，攻击失败。
| 场景 | 攻击方式 | 无保护后果 | 防降级/回滚保护效果 |
|---|---|---|---|
| OTA 更新 | 重放旧版签名固件 | 漏洞重新暴露 | 版本低于安全计数器，拒绝写入 |
| 本地刷机 | 通过调试口写入旧固件 | 绕过补丁，持久化控制 | 启动链校验失败，拒绝执行 |
| A/B 回滚 | 诱导回退到旧分区 | 信任链降级 | 回滚槽版本校验不通过 |
| 安全计数器篡改 | 物理修改存储值 | 版本约束失效 | OTP/eFuse 不可逆，篡改即失效 |
五、常见误区与复盘要点
- 只做签名不做版本：签名防篡改，版本防重放，二者缺一不可。
- 版本号存在普通 Flash：可被回滚或擦除，必须放入 OTP、eFuse 或 TEE 保护存储。
- 忽略恢复模式：恢复模式若允许任意固件，会成为降级后门。
- 未考虑量产与售后：安全计数器写死会导致无法维修，需要设计受控的授权降级流程。
工程建议：在项目早期就定义版本策略与安全计数器布局，把防降级设计纳入启动链与更新链的接口契约，而不是在量产前临时补丁。
下面是一段典型的安全计数器校验伪代码，帮助建立直观认识：
// 启动阶段：校验固件版本是否满足最低安全版本
bool verify_rollback_protection(fw_header_t *hdr) {
uint32_t min_version = read_otp_min_version(); // 从 OTP/eFuse 读取
if (hdr->version < min_version) {
log_error("downgrade rejected: fw=%u, min=%u",
hdr->version, min_version);
return false; // 拒绝启动或写入
}
if (!verify_signature(hdr)) {
log_error("signature invalid");
return false;
}
return true;
}