嵌入式系统程序完整性验证技术研究与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-19页 |
| ·研究背景 | 第11-12页 |
| ·研究意义 | 第12页 |
| ·研究现状 | 第12-14页 |
| ·研究方案 | 第14-17页 |
| ·论文组织 | 第17-19页 |
| 第二章 FGES 总体设计和安全性分析 | 第19-23页 |
| ·FGES 功能设计 | 第19页 |
| ·FGES 系统流程 | 第19-21页 |
| ·FGES 安全性分析 | 第21-23页 |
| ·篡改Flash | 第21页 |
| ·伪造FGES | 第21-22页 |
| ·重复攻击通信 | 第22页 |
| ·攻击FPGA | 第22-23页 |
| 第三章 FGES 板级电路设计 | 第23-33页 |
| ·FGES 系统设计 | 第23-25页 |
| ·FGES 硬件参数 | 第25-26页 |
| ·FGES 硬件布局 | 第26-27页 |
| ·FGES 电路设计 | 第27-33页 |
| ·外部存储器总线部分电路 | 第27页 |
| ·串行接口部分电路 | 第27-28页 |
| ·SDRAM 部分电路 | 第28-29页 |
| ·网口电路 | 第29-30页 |
| ·FPGA 下载电路 | 第30页 |
| ·辅助部分电路 | 第30-33页 |
| ·电源电路 | 第30-31页 |
| ·数字信号源 | 第31页 |
| ·与门电路 | 第31-32页 |
| ·与门电路 | 第32-33页 |
| 第四章 FPGA 系统设计 | 第33-69页 |
| ·FPGA 总体系统框图 | 第33-34页 |
| ·FPGA 总状态机设计 | 第34-35页 |
| ·FPGA 操作流程 | 第35-40页 |
| ·FPGA 配置流程 | 第35-38页 |
| ·读取通信密钥K | 第36-37页 |
| ·计算Hash 值 | 第37页 |
| ·向主机传送C0 | 第37-38页 |
| ·运行模式 | 第38-40页 |
| ·设置DES 密钥K | 第38-39页 |
| ·接收并解密安全控制芯片的随机数 | 第39页 |
| ·计算Hash 值 | 第39页 |
| ·加密Hash 值 | 第39-40页 |
| ·向安全控制芯片传输Hash 值 | 第40页 |
| ·Flash 控制器模块设计 | 第40-44页 |
| ·FPGA 配置流程 | 第40-41页 |
| ·Flash 控制器内部数据通路 | 第41-42页 |
| ·Flash 控制器有限状态机 | 第42-43页 |
| ·有限状态机和数据通路之间的关系 | 第43-44页 |
| ·FIFO 设计 | 第44-48页 |
| ·SFIFO 接口信号 | 第44-45页 |
| ·PFIFO 接口信号 | 第45-46页 |
| ·FIFO 内部数据通路 | 第46-48页 |
| ·P2S 设计 | 第48-50页 |
| ·P2S 接口信号 | 第48页 |
| ·P2S 内部数据通路 | 第48-49页 |
| ·有限状态机 | 第49-50页 |
| ·S2P 设计 | 第50-52页 |
| ·接口信号 | 第50-51页 |
| ·内部数据通路 | 第51页 |
| ·有限状态机 | 第51页 |
| ·有限状态机与数据通路的关系 | 第51-52页 |
| ·UART 传输模块 | 第52-57页 |
| ·UART 功能简述 | 第52页 |
| ·接口信号 | 第52-53页 |
| ·功能信号 | 第53-54页 |
| ·内部数据通路 | 第54-55页 |
| ·波特率 | 第55页 |
| ·有限状态机 | 第55-56页 |
| ·有限状态机与数据通路之间的关系 | 第56-57页 |
| ·DES 加密模块 | 第57-64页 |
| ·模块接口 | 第57-58页 |
| ·子模块及其接口 | 第58-59页 |
| ·模块实现 | 第59-60页 |
| ·控制状态机 | 第60页 |
| ·各操作执行过程及其控制状态机 | 第60-64页 |
| ·获取密钥[DES_KEYIN] | 第60-61页 |
| ·解密随机数[DES_RIN] | 第61-62页 |
| ·加密散列值[DES_C0IN] | 第62-64页 |
| ·DES 性能 | 第64页 |
| ·Device DNA 原理 | 第64-65页 |
| ·SHA-1 设计 | 第65-66页 |
| ·FPGA 资源使用情况 | 第66-69页 |
| 第五章 FGES 软件系统设计 | 第69-73页 |
| ·TCM 固件 | 第69-70页 |
| ·芯片简介 | 第69-70页 |
| ·TCM 芯片软件实现流程 | 第70页 |
| ·uClinux 操作系统及其工具链 | 第70-73页 |
| ·uClinux 简介 | 第70-71页 |
| ·U-Boot 简介 | 第71页 |
| ·uclinux+U-Boot 结构 | 第71-73页 |
| 第六章 FGES 集成测试 | 第73-79页 |
| ·烧写FPGA | 第73-75页 |
| ·设置波特率 | 第75-76页 |
| ·烧写U-boot | 第76页 |
| ·配置TCM | 第76-77页 |
| ·FGES 完整性测试 | 第77-79页 |
| 第七章 总结与展望 | 第79-81页 |
| 参考文献 | 第81-83页 |
| 攻读博士/硕士学位期间取得的研究成果 | 第83-85页 |
| 致谢 | 第85页 |
