VIP20

本课程属于：017-IoT设备安全启动链 物联网安全与设备身份认证 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

IoT安全启动信任链传递与校验

📚 共计 30 章节

点击此处阅读海量试读课程：100+行业、1000+细分领域

信任链的起源：从BIOS到UEFI的演进

为什么需要安全启动？回顾传统BIOS的脆弱性，理解UEFI如何建立硬件与固件之间的初始信任锚点。

信任根（Root of Trust）

硬件信任锚点ROM Bootloader，不可变代码的物理基础，如何作为整个信任链的起点。

硬件ROM锚点

数字签名基础

非对称加密（RSA/ECC）、哈希函数（SHA-256）、签名与验签流程，构建可验证的代码身份。

证书链（Certificate Chain）

X.509证书结构、CA根证书、中间证书、叶子证书的层级关系，信任传递的凭证体系。

UEFI安全启动（Secure Boot）

Platform Key (PK)、Key Exchange Key (KEK)、Signature Database (db/dbx) 的架构与策略。

Bootloader阶段

BootROM → SPL → U-Boot 的典型多级加载器信任传递，逐级度量验证。

SPLU-Boot多级

内核启动验证

vmlinuz与initramfs的签名校验，内核模块的签名要求，确保内核完整可信。

vmlinuzinitramfs模块签名

文件系统完整性

dm-verity与fs-verity原理，只读分区的哈希树验证，防止持久化篡改。

dm-verityfs-verity哈希树

IMA（Integrity Measurement Architecture）

内核完整性度量架构，TPM PCR扩展机制，度量运行时关键文件与进程。

TPM（Trusted Platform Module）

PCR寄存器、平台配置寄存器、远程证明（Remote Attestation）的硬件基础。

TPMPCR远程证明

远程证明协议

基于TPM的Quote机制，Challenge-Response模式，验证平台身份与状态。

QuoteChallenge证明

设备标识与认证

设备唯一证书（Device ID Certificate），与信任链的结合，实现设备身份可信。

设备ID证书认证

固件更新安全

安全固件更新流程，回滚保护（Rollback Protection），版本号机制与防降级。

更新回滚保护版本

容器镜像信任

Container Image Signing（Notary/Cosign），镜像层签名验证，保障容器供应链。

NotaryCosign镜像签名

软件供应链安全

SBOM（软件物料清单）、SLSA框架、构建与发布签名，端到端溯源。

SBOMSLSA供应链

Linux内核 lockdown 模式

限制内核接口，防止未授权代码执行，增强运行时内核完整性。

lockdown内核限制

安全世界与普通世界隔离，安全启动在ARM架构的实现，硬件隔离基础。

TrustZoneARM隔离

RISC-V 安全启动

M模式、S模式、U模式的信任链设计，OpenSBI的作用与启动度量。

RISC-VOpenSBI模式

Intel Boot Guard

硬件固化的信任根，ACM（Authenticated Code Module）验证，固件防篡改。

Boot GuardACM硬件

AMD Platform Security Processor (PSP)

独立安全处理器，启动验证流程，硬件隔离的信任根实现。

PSPAMD安全处理器

Apple Secure Enclave

硬件隔离的安全协处理器，iOS/macOS启动链，设备端信任根。

Secure EnclaveApple启动链

Android Verified Boot (AVB)

vbmeta结构，链式分区验证，回滚保护，保障Android设备启动完整性。

AVBvbmeta回滚

Chrome OS 安全启动

Verified Boot 2.0，内核A/B分区，恢复模式，快速可信切换。

Chrome OSA/B恢复

IoT设备安全启动

轻量级信任链设计，MCU上的安全启动方案，资源受限环境下的信任根。

信任链的度量与日志

TPM事件日志（Event Log），PCR扩展与度量记录，审计与远程验证基础。

Event LogPCR度量

密钥管理与生命周期

密钥生成、存储、轮换、撤销，HSM与安全元件在信任链中的角色。

密钥HSM生命周期

信任链的威胁模型

物理攻击、侧信道攻击、Bootkit/Rootkit、供应链攻击，攻击面分析。

威胁Bootkit供应链

形式化验证与信任链

使用Coq/TLA+验证启动代码的正确性，数学保证的信任根。

CoqTLA+形式化

行业标准与合规

TCG规范、FIPS 140-3、Common Criteria、GDPR对信任链的要求与映射。

机密计算（Confidential Computing）、零信任架构（Zero Trust）、量子安全签名对信任链的影响。

机密计算零信任量子安全

专注课程资料整理