3. OTA安全威胁模型

TinyML设备的OTA（Over-The-Air）升级本质上是一条跨越多个信任边界的数字供应链：固件从开发者的构建服务器出发，经过云平台、内容分发网络（CDN）、网关或基站，最终到达设备端的Bootloader和应用程序分区。在这条链路的每一个跳点，攻击者都可能寻找介入机会。与传统的IT系统OTA不同，TinyML设备通常部署在物理不可控的环境中（如农田、城市路灯杆、工业传感器节点），且计算资源极为有限，无法运行复杂的TLS双向认证或重量级签名验签算法。因此，理解OTA安全威胁模型，是设计任何防护机制（如签名、加密、回滚保护）的前提。本章将系统拆解五大核心威胁：中间人攻击、固件篡改、重放攻击、恶意升级和回滚攻击，并分析其攻击路径、危害等级及对应的防御切入点。

上图展示了TinyML设备OTA升级的完整链路及五大威胁的注入位置。从构建服务器到设备应用分区，每个箭头都代表数据流动，而红色标注的威胁则对应攻击者可能介入的环节。值得注意的是，恶意升级和固件篡改的边界并不总是清晰——前者强调攻击者拥有合法签名密钥或内部权限，后者则侧重于在传输或存储过程中对固件内容的非法修改。理解这些威胁的细微差别，有助于我们针对性地设计分层防御策略。

3.1 中间人攻击（Man-in-the-Middle Attack）

核心原理

中间人攻击发生在固件从云端向设备传输的过程中。攻击者通过ARP欺骗、DNS劫持、恶意Wi-Fi热点或运营商骨干网监听等手段，插入到设备与服务器之间的通信链路中。在TinyML场景下，设备往往使用MQTT、CoAP或HTTP/HTTPS协议进行固件下载，若传输层未启用TLS或启用了弱加密套件，攻击者可以轻松截获固件包，甚至实时修改其中的二进制数据。更隐蔽的是，攻击者可以仅做被动监听，收集固件版本信息、设备标识和升级时间窗口，为后续针对性攻击做准备。

判断方法与操作流程

在资源受限的MCU上，完全依赖TLS 1.3握手可能消耗大量内存和算力。工程上通常采用以下分级判断策略：

1. 链路评估：检查设备通信是否经过不可信网络（如公共Wi-Fi、蜂窝网络）。若设备处于隔离的工业现场总线或私有LoRa网络，中间人风险相对较低，但仍需考虑物理接入攻击。
2. 协议审计：使用Wireshark或tcpdump抓取升级流量，观察是否存在明文传输的固件包。若使用HTTPS，检查证书链是否完整、是否启用了证书固定（Certificate Pinning）。
3. 轻量级防护：对于无法承受TLS开销的设备，可采用“预共享密钥（PSK）+ AES-GCM加密”的方式，在应用层对固件包进行加密和完整性校验，确保即使传输被截获，攻击者也无法读取或篡改内容。

案例拆解：智能电表固件窃听事件

某电力公司部署了基于NB-IoT的智能电表，固件升级通过运营商网络进行。安全团队在测试中发现，电表与升级服务器之间使用HTTP明文传输，且固件包未加密。攻击者在基站与核心网之间部署被动探针，成功截获了最新固件。通过逆向分析，攻击者发现了电表计量校准参数的存储位置，进而构造了伪造的校准指令，导致部分用户电费计算异常。事后复盘发现，该设备原本支持DTLS，但开发团队为了节省10KB内存而关闭了该功能。修复方案是启用DTLS并采用会话票据（Session Ticket）减少握手开销，同时将固件包升级为AES-128-GCM加密，彻底阻断被动窃听。

常见误区与总结

• 误区一：认为私有协议或自定义加密足够安全。实际上，缺乏公开审计的加密算法往往存在设计缺陷。
• 误区二：只关注固件内容加密，忽略元数据（如版本号、设备ID）的泄露。这些信息可用于定向攻击。
• 总结：中间人攻击的防御核心是“加密+完整性校验”，而非单纯依赖网络隔离。对于TinyML设备，应优先选择轻量级加密方案（如AES-CCM）并配合证书固定或PSK白名单。

3.2 固件篡改攻击（Firmware Tampering）

核心原理

固件篡改是指攻击者在固件包生成后、设备验签前，对固件二进制内容进行修改。这种修改可能是植入恶意代码、替换神经网络模型参数、修改阈值或篡改启动配置。与中间人攻击不同，固件篡改不一定发生在网络传输中——攻击者可能直接物理接触设备的Flash芯片，通过JTAG/SWD接口或SPI读取并改写固件存储区域。此外，若云存储桶权限配置不当，攻击者可直接替换存储在对象存储中的固件文件。

判断方法与操作流程

检测固件篡改的核心机制是数字签名。设备端Bootloader在启动或升级时，必须使用预置的公钥对固件包进行签名验证。操作流程如下：

// 伪代码：固件验签流程
1. 读取固件包头，提取签名值（RSA-2048或ECDSA-P256）
2. 计算固件内容的SHA-256哈希值
3. 使用公钥对签名值进行解密，得到原始哈希
4. 对比两个哈希值，若一致则通过，否则拒绝启动
5. 将验签结果记录到安全日志（防篡改存储区）

对于TinyML设备，推荐使用ECDSA P-256签名，因为其密钥长度短、验签速度快，且支持硬件加速（如ARM TrustZone CryptoCell）。同时，公钥应存储在一次性可编程（OTP）存储器或安全元素（Secure Element）中，防止攻击者替换公钥。

案例拆解：工业传感器模型投毒

某工厂的振动传感器使用TinyML模型进行故障预测。攻击者通过未授权的USB调试接口获取了固件读取权限，将模型文件中的故障阈值从0.8修改为0.2。修改后的固件在下次OTA升级时被正常下载，但由于设备端未启用签名验证，Bootloader直接加载了篡改后的模型。结果，传感器频繁误报故障，导致产线停机。调查发现，该设备在出厂时为了加快生产节拍，跳过了签名烧录步骤。修复措施包括：强制启用ECDSA验签、禁用USB调试接口、并在Bootloader中增加防回滚标志。

常见误区与总结

• 误区一：认为固件加密后就不需要签名。加密保护机密性，签名保护完整性，两者缺一不可。
• 误区二：只在OTA升级时验签，忽略本地启动时的验签。攻击者可能直接通过调试接口写入篡改固件，绕过OTA流程。
• 总结：固件篡改的防护需要“全生命周期验签”——从Bootloader到应用启动，每次加载都需验证。同时，应定期轮换签名密钥，并建立密钥泄露吊销机制。

3.3 重放攻击（Replay Attack）

核心原理

重放攻击是指攻击者捕获一次合法的固件升级包，然后在后续某个时间点重新发送给设备。这种攻击不修改固件内容，因此可以完美通过签名验证。攻击者的目的通常有两个：一是利用旧版本固件中已知的漏洞（结合回滚攻击），二是干扰设备升级流程，造成服务中断。在TinyML场景中，由于设备可能长时间在线，攻击者有充足的时间窗口进行重放。

判断方法与操作流程

防御重放攻击的标准方法是使用单调递增的版本号或随机数（Nonce）。具体流程：

1. 设备在每次升级请求中生成一个随机数，并发送给服务器。
2. 服务器在固件包中嵌入该随机数，并使用私钥签名。
3. 设备验签后，检查随机数是否与当前会话匹配，若匹配则接受，否则拒绝。
4. 设备记录已安装固件的版本号，拒绝版本号低于或等于当前版本的固件包。

对于离线或弱连接设备，可使用基于时间的令牌（TOTP）或单调计数器。但需注意，MCU的RTC（实时时钟）可能因电池耗尽而重置，因此更推荐使用Flash中持久化的计数器。

案例拆解：智能门锁固件重放

某智能门锁使用ZigBee进行OTA升级。安全研究人员发现，门锁在升级时未校验固件版本号，仅验证签名。攻击者先诱骗门锁升级到正常的新版本，然后截获该升级包。当门锁因故障需要重新升级时，攻击者重放旧版本固件包，门锁成功安装。由于旧版本存在蓝牙配对漏洞，攻击者利用该漏洞解锁了门锁。修复方案是：在固件包头增加4字节的版本号字段，并在Bootloader中增加“版本号必须大于当前版本”的检查逻辑。同时，引入随机数挑战机制，确保每次升级会话唯一。

常见误区与总结

• 误区一：认为签名验证可以防重放。签名只能证明固件来源合法，无法证明其时效性。
• 误区二：使用设备MAC地址或IP地址作为防重放标识。这些信息可被伪造，应使用密码学随机数。
• 总结：防重放的核心是“新鲜度验证”。对于TinyML设备，推荐使用“版本号+随机数”双重机制，并将版本号存储在安全存储区，防止被篡改。

3.4 恶意升级与回滚攻击（Malicious Update & Rollback Attack）

核心原理

恶意升级是指攻击者利用合法签名密钥（通过窃取、内部泄露或社会工程学获得）签发恶意固件。这种攻击最为致命，因为设备会认为固件完全可信。回滚攻击则是恶意升级的一种特殊形式：攻击者将设备降级到存在已知漏洞的旧版本，从而绕过新版本的安全补丁。例如，新版本修复了缓冲区溢出漏洞，攻击者将设备回滚到旧版本，重新利用该漏洞获取控制权。

判断方法与操作流程

防御恶意升级和回滚攻击需要组合策略：

在TinyML设备上，Anti-rollback计数器通常使用eFuse或一次性可编程存储器实现。每次成功升级后，设备将新的版本号写入eFuse，且该操作不可逆。这样，即使攻击者获得了旧版本固件，也无法将其安装到设备上。

案例拆解：医疗穿戴设备的回滚攻击

某医疗级血氧仪使用TinyML进行心律失常检测。固件版本V2.0修复了蓝牙协议栈的远程代码执行漏洞。攻击者通过逆向分析发现，设备Bootloader未检查版本号，仅验证签名。于是，攻击者截获了V1.9版本的固件包（该版本存在漏洞），并利用社会工程学诱导用户手动触发升级。设备成功回滚到V1.9，攻击者随后通过蓝牙漏洞植入勒索软件，要求支付赎金才能恢复设备功能。事后调查发现，该设备未使用eFuse计数器，且签名密钥存储在可读的Flash区域。修复措施包括：启用eFuse版本熔断、将签名密钥迁移至安全元素、并增加升级频率限制（如24小时内最多升级一次）。

常见误区与总结

• 误区一：认为回滚保护只适用于高价值设备。实际上，任何可远程升级的设备都可能成为回滚攻击的目标，尤其是当旧版本漏洞被公开后。
• 误区二：将Anti-rollback计数器存储在普通Flash中。攻击者可通过擦除Flash来重置计数器，必须使用OTP或eFuse。
• 总结：恶意升级和回滚攻击的防御核心是“密钥安全+版本熔断”。密钥管理是根本，版本熔断是最后一道防线。两者缺一不可，且需要硬件级别的支持。

3.5 威胁模型综合对比与防御优先级

为了帮助课程学习者快速建立全局认知，下表对五大威胁进行了综合对比：

从防御优先级来看，固件签名验签是必须首先实现的基础能力，它同时抵御固件篡改和恶意升级（前提是密钥安全）。其次是版本号检查，用于抵御重放和回滚攻击。最后才是传输层加密，因为即使传输被窃听，签名和版本检查仍能保证固件内容的安全性和时效性。对于资源极度受限的MCU（如Cortex-M0），建议优先实现ECDSA P-256验签和4字节版本号检查，传输层可使用轻量级PSK加密。

在实际项目中，建议安全团队在OTA功能开发初期就进行威胁建模，使用STRIDE或MITRE ATT&CK框架对上述威胁进行系统分析。同时，建立固件升级的审计日志，记录每次升级的版本号、时间戳、签名验证结果和来源IP，以便事后追溯。通过本章的学习，学员应能够针对具体的TinyML设备，识别其OTA链路中的薄弱环节，并选择成本可控的防护组合。