news 2026/8/19 7:17:43

嵌入式系统安全启动:从原理到实践构建可信引导加载程序

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
嵌入式系统安全启动:从原理到实践构建可信引导加载程序

1. 项目概述:为什么嵌入式系统的安全启动如此关键?

最近在调试一个基于Cortex-M的物联网设备时,我遇到了一个让人头疼的问题:设备在野外部署几个月后,偶尔会莫名其妙地“变砖”,重启后无法正常工作。经过几轮排查,最终定位到问题根源——Flash中的固件被意外修改了几个字节。这让我深刻意识到,在嵌入式系统,尤其是那些部署在无人值守、物理可接触环境下的设备中,固件的完整性与真实性验证,即安全启动,绝不是可有可无的“加分项”,而是保障系统生命线的“生命体征监测仪”。

简单来说,安全启动就是设备上电后,在将控制权交给主应用程序之前,执行的一系列强制性安全检查。它的核心目标只有一个:确保即将运行的代码是可信的、未被篡改的、且来自合法的开发者。这听起来像是软件的事,但实际上,它是一个横跨硬件、软件、密码学和系统设计的综合性堡垒。我们今天要深入探讨的,就是构建这个堡垒的核心组件之一:安全引导加载程序。它不仅仅是传统Bootloader的“安全升级版”,更是整个信任链条的“第一道守门员”和“信任根”的执行者。

2. 安全引导加载程序的核心设计思路与架构选型

在设计一个安全引导加载程序时,首要任务不是立刻开始写代码,而是明确设计思路和架构。这决定了整个方案的健壮性和可维护性。

2.1 信任链的建立:从不可变的根开始

一切安全都始于一个绝对可信的起点,即硬件信任根。这通常是一段被固化在芯片ROM中的、出厂后无法修改的代码,我们称之为ROM BootloaderFirst Stage Bootloader。它的职责非常纯粹且关键:

  1. 初始化最底层的硬件,如时钟、关键外设。
  2. 验证下一阶段引导加载程序的完整性和真实性。
  3. 验证通过后,跳转执行;验证失败,则进入安全故障处理流程(如停机、进入恢复模式)。

这个“验证”动作,就是安全启动的灵魂。目前主流的验证机制基于非对称密码学,通常是RSA或ECC。芯片厂商会在ROM代码中硬编码一个或多个公钥。开发者在发布第二阶段的引导加载程序时,需要用对应的私钥对其进行数字签名。ROM代码则使用内置的公钥来验证这个签名。

注意:这里的“硬编码公钥”是关键。一旦芯片出厂,这个公钥就无法更改。因此,密钥的管理(私钥的保密、公钥的备份)必须在产品规划初期就纳入严格的流程。丢失私钥或泄露私钥意味着产品线的安全根基崩塌。

2.2 多阶段引导的权衡:简单 vs. 灵活

安全引导加载程序通常采用多阶段设计,常见的有两阶段或三阶段。

两阶段引导

  • 阶段一:芯片ROM代码。验证并加载安全引导加载程序
  • 阶段二:安全引导加载程序。验证并加载主应用程序
  • 优点:结构简单,占用资源少,启动速度快。
  • 缺点:安全引导加载程序自身功能复杂,一旦需要更新(例如支持新的加密算法),会非常困难,通常需要连同主应用程序一起更新,或者依赖ROM代码的升级机制(如果支持)。

三阶段引导

  • 阶段一:芯片ROM代码。验证并加载最小化引导加载程序
  • 阶段二:最小化引导加载程序。验证并加载功能丰富的安全引导加载程序
  • 阶段三:功能丰富的安全引导加载程序。验证并加载主应用程序
  • 优点:架构灵活。阶段二的引导程序可以做得非常小巧、稳定,只负责最核心的验证和加载功能。阶段三的引导程序则可以包含更多高级功能,如网络更新、多镜像回滚、详细调试信息输出等,并且可以相对独立地更新。
  • 缺点:启动链条更长,启动时间略有增加,设计复杂度更高。

我的选型心得:对于功能固定、生命周期内算法不太可能变更的消费类或工业控制设备,两阶段引导是简洁高效的选择。而对于需要长期在线升级、安全策略可能演进(例如从SHA256升级到SHA3,或从RSA2048升级到ECC P-256)的物联网网关、边缘计算设备,我强烈建议采用三阶段引导。它带来的长期可维护性优势,远超过初期那一点点额外的开发复杂度。

2.3 存储布局规划:安全与效率的棋盘

Flash存储空间的布局直接关系到安全机制的实现和系统可靠性。一个典型的安全启动存储布局如下:

区域名称起始地址大小内容说明
ROM Code0x0000 0000固定厂商固化代码硬件信任根,不可修改。
Bootloader Header0x000X XXXX如 1KB版本号、大小、加载地址、签名算法ID元数据区,便于ROM代码解析。
Stage2 Bootloader紧随Header后可变第二阶段引导程序二进制被签名的主体代码。
Application Slot A预留地址可变主应用程序A版本生产版本或稳定版本。
Application Slot B紧随Slot A后可变主应用程序B版本用于OTA升级的备用区。
Boot Metadata固定尾端地址如 512B活动镜像标志、升级状态、启动计数器关键状态信息,需考虑掉电安全。

关键设计点

  1. 隔离性:引导加载程序区、应用程序A区、应用程序B区必须在物理地址上完全隔离,避免越界写入。通常通过Flash存储器的扇区边界进行划分。
  2. 元数据区:一个独立的、小容量的存储区域(如Flash的最后一个扇区)用于存放启动元数据至关重要。这个区域需要频繁更新(如切换活动镜像、更新启动计数器),因此应选择支持独立擦写且寿命较长的介质(如EEPROM或带磨损均衡的Flash扇区)。
  3. 签名存储:应用程序的签名和公钥(如果非硬编码)可以附加在应用程序二进制文件之后,也可以单独存储在元数据区。我倾向于后者,因为这样更清晰,且便于管理多套密钥(如开发密钥、生产密钥)。

3. 核心细节解析与实操要点

3.1 签名与验证流程的魔鬼细节

理论上的“签名-验证”流程很简单,但实操中处处是坑。

标准流程

  1. 开发侧(签名):计算应用程序固件镜像的哈希值(如SHA-256) -> 使用私钥对哈希值进行加密(即签名) -> 将签名附加到固件镜像末尾,或与镜像一起发布。
  2. 设备侧(验证):从存储介质读取固件镜像和附加的签名 -> 使用预置的公钥解密签名,得到“声称的哈希值A” -> 计算实际读取到的固件镜像的哈希值B -> 比较A与B是否完全相同。

实操要点与避坑指南

  • 哈希计算的范围必须精确一致:这是最常见的错误来源。计算哈希时,是计算整个Flash区域(包括可能未使用的0xFF填充部分),还是只计算到代码结束地址?验证时也必须采用完全相同的算法。最佳实践是在固件镜像文件中定义一个清晰的“负载”区域,签名仅针对这个负载区域计算。在镜像头信息中明确记录负载的起始地址和长度。

  • 签名算法的选择与性能

    • RSA:算法成熟,库支持广泛,但签名长(RSA-2048签名是256字节),验证计算量较大,对资源受限的MCU可能造成明显的启动延迟。
    • ECC:在相同安全强度下,密钥和签名长度短得多(例如ECC P-256签名是64字节),验证速度通常更快,更节省Flash空间。但算法实现相对复杂。
    • 建议:对于Cortex-M4及以上内核且Flash > 256KB的设备,优先考虑ECC。对于更受限的M0/M3,RSA-2048仍然是稳妥的选择,但需要评估启动时间是否可接受。
  • 处理“secure boot violation invalid signature detected”:这是安全启动失败时最经典的日志信息之一。看到它,不要慌,按以下步骤排查:

    1. 确认镜像文件:检查烧写到设备中的镜像文件,是否就是你自己用私钥签名的那一个?编译后是否被其他流程(如调试器、量产工具)意外修改?
    2. 检查公钥匹配:设备中预置的公钥,是否与签名所用的私钥对应?生产烧录时,是否误烧了测试密钥的公钥?
    3. 检查存储完整性:Flash是否发生了位翻转?特别是在恶劣电磁环境或Flash寿命末期。可以在验证失败后,重新读取Flash数据,在PC端用工具手动计算并验证一次签名。
    4. 检查代码逻辑:验证代码中,哈希计算和比较的代码是否存在边界错误?内存拷贝时是否发生了溢出?

3.2 密钥管理:安全中最脆弱的一环

“安全不在于算法有多强,而在于密钥保管有多好。” 对于安全启动,私钥就是王冠上的宝石。

  • 开发测试阶段:使用一个独立的“开发密钥对”。私钥可以保存在开发者的电脑上,用于快速迭代和调试。即使泄露,影响也仅限于开发环境。
  • 生产发布阶段:必须使用全新的、高强度“生产密钥对”。私钥的生成和保管必须遵循最高安全准则:
    • 硬件安全模块:理想情况下,使用HSM生成和存储私钥,签名操作在HSM内部完成,私钥永不离开HSM。
    • 离线空气隔离:如果无法使用HSM,则在完全离线的计算机上生成密钥,并使用加密的USB存储设备或智能卡保管私钥。用于签名的电脑永远不连接网络。
    • 密钥备份与分片:生产私钥必须安全备份。可以采用Shamir秘密共享方案,将私钥拆分成多个分片,由不同的可信人员保管,需要足够数量的分片才能复原。
  • 公钥的注入:生产密钥的公钥如何安全地烧录到每一颗芯片中?这依赖于产线工具的安全性和流程管控。通常有两种方式:1) 由芯片厂商在出厂前预制;2) 通过安全的量产编程器在贴片后烧录。无论哪种,都需要确保烧录环境安全,防止公钥被替换。

3.3 安全故障处理:失败不是终点

验证失败后,系统不能简单地崩溃或重启循环,那会导致拒绝服务攻击。一个健壮的安全引导加载程序必须有明确的故障处理策略。

  1. 静默失败与状态指示:对于最终产品,不应将详细的错误信息通过串口等明文输出,以免泄露信息。但可以通过硬件方式提供状态指示,例如:
    • LED闪烁模式:特定的闪烁序列代表“签名无效”、“版本回滚”等。
    • 专用错误状态引脚:拉高或拉低某个GPIO。
  2. 进入恢复模式:这是最常见的处理方式。验证失败后,引导加载程序可以延迟几秒,在此期间检测某个特定的“恢复引脚”(如Boot按钮)是否被按下,或者是否收到了来自特定串口/USB的恢复命令。如果收到,则进入一个恢复模式引导加载程序,该程序允许通过一个带外的安全通道(例如,通过物理连接和另一套独立认证)来更新固件。
  3. 启动计数器与防回滚:为了防止攻击者用旧版本(可能存在漏洞)的固件替换新版本,必须实现版本防回滚。通常使用一个单调递增的“安全版本号”或“启动计数器”。这个计数器值需要和固件一起被签名,并且存储在一个一次可编程写保护的存储区域(如OTP存储器)。引导加载程序在验证签名后,必须检查当前固件的版本号是否大于等于存储的版本号,如果不是,则拒绝启动,并更新计数器。这能有效抵御“重放攻击”。
  4. 安全存储:用于比较的版本计数器、启动状态等关键数据,必须存储在非易失性存储器中,并且要考虑到掉电安全。例如,在更新计数器时,系统突然断电,可能导致计数器处于损坏的中间状态。解决方案是使用“提交-生效”两阶段更新,或者使用具有原子写操作的存储介质。

4. 实操过程:从零构建一个基于MCU的安全引导加载程序

让我们以一个具体的例子,基于STM32H5系列(内置TrustZone和硬件加密加速)的Cortex-M33 MCU,来勾勒实现安全引导加载程序的关键步骤。这里假设我们采用两阶段引导。

4.1 硬件与开发环境准备

  • MCU:STM32H563(具备TrustZone,硬件加密引擎,OTP区域)。
  • 开发环境:STM32CubeIDE, STM32CubeProgrammer。
  • 密码学库:使用MCU硬件加密引擎(HASH, PKA)进行加速,或依赖mbed TLS等经过验证的软件库。
  • 关键硬件特性利用
    • RDP:设置读保护等级,防止通过调试接口(如JTAG/SWD)读取Flash内容。
    • WRP:设置写保护,将引导加载程序所在的Flash扇区写保护,防止应用程序意外或恶意修改它。
    • OTP:用于存储生产公钥哈希、安全版本计数器等不可变的关键数据。

4.2 第一阶段:ROM代码配置与公钥烧录

这一步通常在芯片初始化或生产环节完成。

  1. 生成生产密钥对:在隔离环境中,使用openssl命令生成ECC密钥对。
    # 生成一个ECC P-256私钥 openssl ecparam -genkey -name prime256v1 -out prod_private_key.pem # 从私钥中提取公钥 openssl ec -in prod_private_key.pem -pubout -out prod_public_key.pem # 将公钥转换为C语言数组格式,以便嵌入代码 openssl ec -in prod_private_key.pem -pubout -outform DER | xxd -i > public_key.c
  2. 烧录公钥哈希至OTP:STM32H5的ROM代码支持从OTP区域读取公钥哈希。我们不需要烧录完整的公钥(可能很长),而是烧录公钥的哈希值(例如SHA-256)。ROM代码会使用这个哈希来验证第二阶段引导加载程序镜像头中携带的公钥。
    • 使用STM32CubeProgrammer连接芯片,进入OTP编程模式。
    • 计算prod_public_key.pem的SHA-256哈希值。
    • 将这个哈希值写入OTP中指定的用户选项字节区域。此操作不可逆!

4.3 第二阶段:安全引导加载程序开发

这是我们的主要开发工作。

  1. 项目结构创建:在STM32CubeIDE中新建项目,选择正确的芯片型号。初始化系统时钟、GPIO、Flash接口等必要外设。
  2. 实现镜像验证函数:这是核心函数,伪代码如下:
    Boot_StatusTypeDef Verify_Application(uint32_t app_address) { ImageHeader_t *header = (ImageHeader_t*)app_address; // 1. 检查魔数,确认这是一个有效的镜像头 if (header->magic != IMAGE_MAGIC) { return BOOT_ERROR_FORMAT; } // 2. 检查镜像大小是否合理,是否溢出到其他区域 if ((app_address + header->image_size) > APP_SLOT_END_ADDR) { return BOOT_ERROR_OVERSIZE; } // 3. 计算镜像负载(从header->payload_start 开始,长度header->payload_size)的哈希 uint8_t calculated_hash[32]; HW_HASH_SHA256((uint8_t*)(app_address + header->payload_start), header->payload_size, calculated_hash); // 4. 使用预置的公钥(或从镜像中提取并验证过的公钥)验证签名 // 签名存储在 header->signature_offset 处 uint8_t *signature = (uint8_t*)(app_address + header->signature_offset); int verify_result = HW_PKA_ECC_Verify(calculated_hash, signature, prod_public_key); if (verify_result != 1) { // 验证失败 Log_Error("Secure boot violation: invalid signature detected"); return BOOT_ERROR_SIGNATURE; } // 5. 防回滚检查:比较镜像中的安全版本号与OTP中存储的版本号 if (header->security_version <= Read_OTP_Security_Version()) { Log_Error("Secure boot violation: rollback attempt detected"); return BOOT_ERROR_ROLLBACK; } return BOOT_OK; }
  3. 实现镜像跳转函数:验证通过后,需要配置MCU的向量表偏移寄存器,然后跳转到应用程序。
    void JumpTo_Application(uint32_t app_address) { // 1. 获取应用程序的初始栈指针和复位向量 uint32_t *app_vector_table = (uint32_t*)app_address; uint32_t app_sp = app_vector_table[0]; // 第一个字是初始栈指针 uint32_t app_reset_handler = app_vector_table[1]; // 第二个字是复位向量地址 // 2. 关闭所有可能产生中断的外设 Deinit_Peripherals(); // 3. 设置主栈指针 __set_MSP(app_sp); // 4. 设置向量表偏移(对于Cortex-M,通常是VTOR寄存器) SCB->VTOR = app_address; // 5. 跳转到应用程序复位处理函数 ((void (*)(void))app_reset_handler)(); }
  4. 设计恢复模式:在验证失败后,启动一个超时(如5秒)。在此期间,如果检测到“Boot0”引脚为高电平,或收到串口特定的“##RECOVERY##”命令,则进入恢复模式。恢复模式下,可以通过YMODEM协议等接收新的、经过签名的固件,将其写入备用应用槽,并更新元数据。

4.4 主应用程序的适配

主应用程序也需要做一些调整,以配合安全引导加载程序工作。

  1. 链接脚本修改:应用程序的链接脚本需要将其起始地址设置为应用槽的起始地址(例如0x08020000),而不是默认的0x08000000(那是引导加载程序的位置)。
  2. 向量表偏移:在应用程序的SystemInit函数中,需要确认VTOR寄存器是否已正确设置。通常引导加载程序已经设置好了,但应用程序初始化时再确认一次是个好习惯。
  3. 生成可签名镜像:编译生成.bin.hex文件后,不能直接使用。需要用一个工具链后处理脚本,为镜像添加我们自定义的头信息(魔数、版本、大小、负载信息等),然后计算哈希并用私钥签名,最后将签名附加到镜像末尾,生成最终的.signed.bin文件。
    # 一个简化的签名脚本示例 (sign_fw.py) import hashlib, ecdsa, struct # 1. 读取原始固件.bin文件 with open('firmware.bin', 'rb') as f: payload = f.read() # 2. 构建镜像头 header = struct.pack('<4sIIII', b'IMGV', 1, len(payload), 0x100, 0) # 魔数,版本,负载大小,负载偏移,保留 # 3. 计算负载的哈希 hash_obj = hashlib.sha256(payload) hash_digest = hash_obj.digest() # 4. 使用私钥签名哈希 with open('prod_private_key.pem', 'rb') as f: sk = ecdsa.SigningKey.from_pem(f.read()) signature = sk.sign(hash_digest) # 这是一个DER编码的签名 # 5. 组合:头 + 负载 + 签名 signed_image = header + payload + signature # 6. 写入最终文件 with open('firmware.signed.bin', 'wb') as f: f.write(signed_image)

5. 常见问题与排查技巧实录

在实际开发和部署中,你会遇到各种各样的问题。下面是我踩过的一些坑和总结的技巧。

5.1 启动失败问题排查清单

当设备无法启动,或提示“secure boot violation”时,请按此清单逐项排查:

现象可能原因排查方法
上电后毫无反应,无日志1. 引导加载程序本身未正确烧录或损坏。
2. 芯片复位电路或电源问题。
3. 时钟初始化失败。
1. 使用调试器连接,看能否在引导加载程序入口点断住。
2. 测量电源和复位引脚电压。
3. 检查启动模式引脚配置。
串口打印引导程序日志后停止1. 应用程序验证失败(签名、哈希、版本)。
2. 应用程序向量表地址错误。
3. 跳转前外设/中断未正确关闭。
1. 检查引导程序打印的具体错误码。
2. 确认烧录的.signed.bin文件是否正确。
3. 单步调试跳转前后的代码。
偶尔启动失败,与环境相关1. Flash数据因电磁干扰或老化出现位错误。
2. 电源不稳定导致启动时序错误。
3. 堆栈溢出等运行时错误。
1. 在失败时读取Flash内容与原始文件对比。
2. 增加电源滤波电容,检查电源纹波。
3. 在引导程序中启用MPU,保护关键栈空间。
恢复模式无法进入1. 检测恢复信号的GPIO引脚配置错误(如上拉/下拉)。
2. 串口波特率不匹配。
3. 恢复模式代码本身有bug。
1. 用逻辑分析仪或示波器检查引脚电平。
2. 确认主机和设备的串口参数完全一致。
3. 简化恢复模式代码,仅实现最基本的功能进行测试。

5.2 调试与测试技巧

  • 利用调试接口:在开发阶段,不要一开始就使能RDP保护。利用SWD/JTAG接口,可以在引导加载程序中设置断点,单步跟踪验证和跳转过程,查看变量和内存内容。这是定位逻辑错误最有效的手段。
  • 模拟攻击测试
    • 篡改测试:用编程器故意修改Flash中应用程序的一个字节,观察安全启动是否能正确检测并拒绝。
    • 回滚测试:尝试烧录一个版本号更低的、但签名有效的旧固件,检查防回滚机制是否生效。
    • 密钥错误测试:使用另一套密钥对的公钥替换设备中的公钥,验证是否会导致启动失败。
  • 性能分析与优化
    • 启动时间测量:使用一个GPIO引脚,在引导程序开始和结束点分别拉高拉低,用示波器测量脉冲宽度,得到精确的启动时间。重点关注哈希计算和签名验证的耗时。
    • 代码大小优化:引导加载程序的代码应尽可能精简。使用编译器的-Os优化选项,移除不必要的库函数和调试信息。将非必要的字符串常量存储在Flash而非RAM中。

5.3 量产与部署注意事项

  • 分阶段烧录:先烧录引导加载程序并进行基本功能测试。然后再烧录已签名的应用程序进行联合测试。避免一次性烧录所有内容,出问题难以定位。
  • 密钥轮换预案:在设计之初就要考虑密钥泄露或算法过期的应对方案。是否支持在固件更新中安全地更换公钥?这通常需要更复杂的多密钥链或证书链机制。
  • 文档与移交:为生产团队提供清晰的操作指南,包括:如何使用安全的量产工具、如何导入生产密钥、如何烧录最终镜像、如何验证烧录结果。同时,安全地移交和备份生产私钥,并记录交接流程。

构建一个可靠的安全引导加载程序,是一个将安全理念融入每一个比特的过程。它没有太多炫酷的技术,更多的是对细节的严苛把控和对各种边界情况的周密考虑。当你看到设备在无数次断电重启后,依然能坚定地只运行你认可的代码时,你会觉得这些付出都是值得的。安全启动不是终点,而是构建可信嵌入式系统的坚实起点。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/8/19 7:17:16

嵌入式GUI开发五大核心技能:从C语言到性能优化的实战指南

1. 嵌入式GUI开发者的核心画像与挑战在智能硬件遍地开花的今天&#xff0c;从智能手表到工业控制面板&#xff0c;从智能家居中控到车载信息娱乐系统&#xff0c;一个直观、流畅、美观的用户界面&#xff08;GUI&#xff09;已经成为产品的核心竞争力。然而&#xff0c;与开发一…

作者头像 李华
网站建设 2026/8/19 7:13:58

FreeRTOS队列通信实战:从按键到LED的消息传递与任务解耦

1. 项目概述&#xff1a;从按钮到LED的消息传递在嵌入式实时系统开发中&#xff0c;任务间的通信与同步是核心难题。想象一个场景&#xff1a;一个任务负责扫描物理按键的状态&#xff0c;另一个任务负责控制LED灯的亮灭。按键任务不能直接去操作LED的GPIO&#xff0c;LED任务也…

作者头像 李华
网站建设 2026/8/19 7:12:16

从零玩转CH32V003:RISC-V超低成本MCU开发全攻略

大家好&#xff0c;我是专注于嵌入式技术分享的博主。最近在玩一些超低成本的小玩意儿&#xff0c;发现了一颗宝藏芯片——沁恒微电子的CH32V003。这颗RISC-V内核的MCU&#xff0c;价格低到令人发指&#xff0c;堪称“地摊价”&#xff0c;但性能却足以胜任很多小型嵌入式项目。…

作者头像 李华
网站建设 2026/8/19 7:10:54

AI Agent状态追踪:从事件溯源到可观测性架构的设计与实践

1. 项目概述&#xff1a;为什么我们需要一个可追踪的Agent状态&#xff1f;在AI Agent开发领域&#xff0c;尤其是涉及复杂任务编排和代码生成的场景里&#xff0c;我们常常会陷入一种“黑盒”困境。你给Agent一个指令&#xff0c;比如“帮我写一个用户登录的API”&#xff0c;…

作者头像 李华
网站建设 2026/8/19 7:10:35

利用闲置安卓设备搭建低功耗Linux服务器:Termux与PRoot实战指南

1. 项目概述&#xff1a;Air Surfer是什么&#xff1f;最近在和一些做硬件开发的朋友聊天时&#xff0c;发现一个挺有意思的现象&#xff1a;大家手头或多或少都有一些闲置的旧手机、旧平板&#xff0c;或者是一些性能不那么强劲的开发板。这些设备食之无味&#xff0c;弃之可惜…

作者头像 李华
网站建设 2026/8/19 7:10:11

重构控制屏障函数:应对不可控智能体的分布式安全控制

1. 项目概述&#xff1a;当你的队友“不可控”时&#xff0c;如何确保系统安全&#xff1f;在机器人、自动驾驶车队、无人机编队等分布式多智能体系统的研发中&#xff0c;我们常常面临一个棘手的问题&#xff1a;如何确保整个系统的安全&#xff0c;尤其是在部分智能体“不听话…

作者头像 李华