本书共分7章。第1章和第2章主要论述可编程逻辑器件、固件和微控制器等数字加密器件的内部结构、加密方法和逆向分析技术。第3章和第4章论述了脱机式逆向分析技术原理和脱机采集数据逻辑逆向综合处理的方法。第5章和第6章主要论述了在线式逆向分析的方法和离散数据逻辑逆向综合处理的方法。第7章论述了直读式提取片内程序代码的方法和代码逆向分析的相关技术。

第1章 概述
1.1 伴随集成电路发展的逆向工程
1.2 集成电路逆向工程
1.2.1 逆向工程的作用
1.2.2 逆向分析方法
1.3 侵入式逆向分析
1.3.1 去芯片封装
1.3.2 逆向分析流程
1.3.3 侵入式逆向分析工具
1.4 非侵入式逆向分析方法
1.4.1 噪声式逆向分析法
1.4.2 脱机式“黑箱”逆向分析法
1.4.3 在线式逆向分析法
1.4.4 直读式逆向分析法
1.4.5 电磁辐射式逆向分析法
参考文献
第2章 加密器件内部结构
2.1 加密可编程逻辑器件的基本结构
2.1.1 基于“与／或”阵列的结构
2.1.2 PLD的时钟结构
2.1.3 基于乘积项的CPLD结构
2.1.4 基于门阵列的FPGA结构
2.2 MCU结构及加密机制
2.2.1 MCU结构
2.2.2 MCU加密机制
2.3 固件结构与加密方法
2.3.1 固件结构
2.3.2 访问操作
2.3.3 操作时序
2.4 加密器件在系统中的工作模式
2.4.1 可编程逻辑器件工作模式
2.4.2 固件工作模式
2.4.3 微控制器工作模式
参考文献
第3章 脱机式逆向分析
3.1 逻辑器件脱机式逆向分析模型
3.1.1 组合逻辑脱机逆向分析模型
3.1.2 时序逻辑脱机式逆向分析模型
3.1.3 逻辑器件脱机式逆向分析过程
3.2 脱机式逆向分析硬件平台
3.2.1 输入激励控制电路
3.2.2 逆向分析芯片输出响应回收电路
3.2.3 分析芯片电源控制电路
3.3 引脚属性判别
3.3.1 引脚判别原理
3.3.2 逻辑器件引脚属性判别
3.3.3 I／O引脚编程类型判别
3.4 状态数据采集
3.4.1 逻辑逆向分析数据采集的理论
3.4.2 传统采集方法
3.4.3 同步时序电路状态驱动
3.4.4 UDSD状态转移路径记录与存储
参考文献
第4章 脱机采集数据逻辑逆向综合
4.1 逻辑综合基础理论
4.1.1 逻辑综合基本概念
4.1.2 立方体基本运算
4.1.3 二级逻辑综合关键算法
4.2 超大规模数据分块处理
4.2.1 分块串行处理模式
4.2.2 分块并行处理模式
4.3 超大规模PI集求解
4.3.1 组合类型数据的PI集求解
4.3.2 时序类型数据的PI集求解
4.4 最小覆盖求解
4.4.1 选拔法求解最小覆盖
4.4.2 近似最小覆盖迭代搜索法
参考文献
第5章 在线式逆向分析
5.1 在线式逆向分析组成结构与采集设备性能要求
5.1.1 在线逆向分析组成结构
5.1.2 在线采集设备性能要求
5.1.3 采集设备远程控制
5.2 在线式无缝采集
5.2.1 无缝采集的引入
5.2.2 续采机制与触发模式
5.2.3 无缝采集的程序实现
5.2.4 采集波形数据格式
5.3 信号间逻辑对应关系提取
5.3.1 电路逻辑特征判别
5.3.2 判别思路与方法
5.3.3 波形快速还原
5.3.4 波形的抽象描述
5.3.5 电路逻辑特征判别方法
5.3.6 引脚判别错误修正
5.4 在线真值表数据提取
5.4.1 真值表数据格式要求
5.4.2 逻辑对应关系提取
参考文献
第6章 在线采集数据逻辑逆向综合
6.1 在线采集数据的特点
6.1.1 在线式和脱机式采集的异同
6.1.2 在线式采集数据的主要特点
6.2 在线采集数据逻辑逆向综合算法选择
6.2.1 BOOM算法
6.2.2 改进BOOM算法
6.2.3 Es—ImpBOOM算法
6.3 多输出函数优化覆盖求解
6.3.1 多输出函数优化问题描述
6.3.2 基于解耦合的多输出EspressoⅡ算法
6.3.3 FC—Min算法
参考文献
第7章 直读式逆向分析
7.1 直读式逆向分析过程
7.1.1 固件代码提取
7.1.2 代码还原
7.1.3 指令归一化
7.1.4 逆向分析
7.1.5 验证测试
7.2 芯片内部结构与加密方法分析
7.2.1 芯片内部结构分析
7.2.2 芯片加密机制分析
7.2.3 工作机制与最佳的非侵入式解析方法
7.3 直读式固件代码提取
7.3.1 直读式代码提取面临的问题
7.3.2 直读式代码提取技术
7.4 代码去扰
7.4.1 目标代码的加壳识别与脱壳处理
7.4.2 代码去扰技术
7.5 代码逆向分析
7.5.1 代码逆向分析基本思路
7.5.2 VISA设计
7.5.3 固件代码控制流恢复
7.6 分析结果可视化
7.6.1 存储结构
7.6.2 绘制实现
参考文献

本书共分7章。第1章和第2章主要论述可编程逻辑器件、固件和微控制器等数字加密器件的内部结构、加密方法和逆向分析技术。第3章和第4章论述了脱机式逆向分析技术原理和脱机采集数据逻辑逆向综合处理的方法。第5章和第6章主要论述了在线式逆向分析的方法和离散数据逻辑逆向综合处理的方法。第7章论述了直读式提取片内程序代码的方法和代码逆向分析的相关技术。