01
状态机基础与安全威胁模型
Moore/Mealy · 状态跳跃/死锁/非法访问 · 威胁建模
基础威胁
02
安全状态机设计原则
最小权限 · 纵深防御 · 状态隔离 · 默认安全 · Fail-Safe
原则架构
03
状态编码与抗攻击
二进制/独热/格雷码 · 抗毛刺 · 状态注入防御
编码硬件
04
状态转换表安全审计
转换条件完整性 · 非法转换检测 · 矩阵形式化验证
审计形式化
05
FSM硬件实现安全
RTL安全编码 · 组合逻辑毛刺 · 同步/异步复位
RTL硬件
06
侧信道攻击防御
功耗/电磁/时间攻击 · 掩码 · 双轨逻辑
侧信道掩码
07
错误处理与恢复
错误状态 · 看门狗 · 状态回滚 · 安全重启
容错恢复
08
形式化验证方法
模型检查 · 定理证明 · 等价性检查 · 符号执行
形式化验证
09
基于状态机的访问控制
BLP · Biba · RBAC · 强制访问控制MAC
访问控制MAC
10
通信协议安全状态机
TCP · TLS握手 · CAN总线攻击面
协议网络
11
随机化与混淆技术
状态随机化 · 转换条件混淆 · 控制流扁平化
混淆抗逆向
12
安全状态机测试策略
模糊测试 · 随机测试 · 边界值 · 状态覆盖
测试Fuzzing
13
信息流控制
非干扰模型 · 安全标签 · 隐通道分析
信息流隐通道
14
嵌入式系统安全状态机
资源受限 · 实时性 · 低功耗安全
嵌入式IoT
15
重放攻击防御
状态计数器 · 时间戳 · Nonce
重放Nonce
16
基于状态机的入侵检测
异常状态检测 · 状态序列 · 隐马尔可夫
IDSHMM
17
密钥管理协议状态机
密钥协商 · 密钥更新 · 密钥销毁
密钥协议
18
安全状态机代码生成
安全规范到代码 · 模板生成 · 一致性
代码生成MDA
19
故障注入攻击防御
时钟/电压/激光毛刺 · 冗余 · 投票
故障注入容错
20
分布式系统安全状态机
Paxos/Raft · 拜占庭容错 · 状态复制
分布式共识
21
隐私保护设计
差分隐私 · 匿名转换 · 数据最小化
隐私差分隐私
22
固件安全更新状态机
安全启动 · 更新状态机 · 回滚保护 · 签名
固件OTA
23
时序攻击防御
恒定时间比较 · 时序混淆 · 随机延迟
时序侧信道
24
安全状态机设计模式
单例 · 分层 · 并发 · 可插拔
模式架构
25
硬件木马检测
状态异常 · 路径延迟 · 功耗指纹
木马硬件安全
26
安全认证协议状态机
挑战-响应 · 多因素 · 生物特征
认证协议
27
内存安全
缓冲区溢出防御 · 指针完整性 · 内存隔离
内存溢出
28
安全状态机生命周期管理
需求 · 设计 · 实现 · 验证 · 部署 · 维护
生命周期DevSecOps
29
量子安全设计
后量子密码 · 量子密钥分发 · 抗量子攻击
量子PQC
30
综合案例：物联网设备安全状态机
威胁建模 → 形式化验证 · 完整流程
案例IoT实战