📡 导弹制导系统 · 安全启动与固件防护

30 章 · 专业课程
01 导弹制导系统概述
系统架构 安全威胁模型 启动流程总览
进入章节 →
02 硬件信任根 (HRoT)
TPM芯片选型 物理防篡改设计 一次性编程熔丝
进入章节 →
03 安全启动链
BootROM不可变代码 一级引导加载程序验证 二级引导加载程序验证
进入章节 →
04 数字签名与哈希校验
ECDSA签名算法 SHA-384哈希 公钥基础设施(PKI)部署
进入章节 →
05 固件加密存储
AES-256-GCM加密 密钥派生函数(KDF) 安全存储区划分
进入章节 →
06 防回滚机制
版本号寄存器 单调计数器 熔丝阵列管理
进入章节 →
07 运行时完整性监控
IMA完整性度量架构 PCR寄存器扩展 远程证明
进入章节 →
08 安全固件更新
签名固件包 双备份(A/B)分区 原子性提交与回滚
进入章节 →
09 故障注入防护
电压毛刺检测 时钟毛刺检测 电磁脉冲屏蔽
进入章节 →
10 侧信道攻击防御
恒定时间比较 掩码技术 随机延时插入
进入章节 →
11 安全调试接口
JTAG/SWD锁定 认证调试 一次性调试使能
进入章节 →
12 内存保护单元(MPU)配置
特权与非特权模式 内存区域隔离 禁止执行(XN)位
进入章节 →
13 实时操作系统(RTOS)安全
任务隔离 IPC安全 堆栈溢出检测
进入章节 →
14 通信链路安全
MIL-STD-1553加密 ARINC 429认证 CAN总线防火墙
进入章节 →
15 抗干扰导航数据融合
GPS/INS抗欺骗 多传感器一致性校验 异常值剔除
进入章节 →
16 制导控制指令保护
指令认证码(MAC) 序列号防重放 超时丢弃机制
进入章节 →
17 安全日志与审计
不可篡改日志 哈希链 安全时间戳
进入章节 →
18 密钥生命周期管理
密钥生成/分发 轮换/销毁 HSM集成
进入章节 →
19 形式化验证方法
TLA+规范 模型检查 不变式证明
进入章节 →
20 模糊测试 (Fuzzing)
固件接口模糊 协议模糊 覆盖率引导
进入章节 →
21 渗透测试方法论
威胁建模 攻击树分析 红队演练
进入章节 →
22 合规性与标准
DO-178C安全等级 MIL-STD-882E NIST SP 800-193
进入章节 →
23 供应链安全
物料清单(SBOM)管理 可信供应商认证 硬件来源追踪
进入章节 →
24 灾难恢复与应急响应
安全模式启动 看门狗恢复 远程擦除
进入章节 →
25 案例研究
Stuxnet对工业系统的启示 近年无人机固件攻击分析
进入章节 →
26 实战演练：安全启动环境
QEMU模拟 固件签名与验证实操
进入章节 →
27 实战演练：MPU与RTOS安全
配置MPU策略 实现任务隔离
进入章节 →
28 实战演练：安全更新服务器
模拟A/B分区升级 部署更新服务器
进入章节 →
29 实战演练：模糊测试
执行基本模糊测试 分析崩溃日志
进入章节 →
30 课程总结与未来趋势
量子安全密码学 AI驱动的异常检测 零信任架构在嵌入式系统
进入章节 →
📘 :  |