基于高层次安全模型的硬件木马检测关键技术研究

目录

第一章 绪论

1.1 研究背景

1.2 选题意义

1.3 国内外研究进展

1.4 论文内容结构及主要创新点

第二章 硬件木马检测技术概述

2.1 硬件木马的分类与设计

2.2 硬件木马的检测技术概述

2.3 本章小结

第三章 硅前高层次形式化建模与安全属性描述理论研究

3.1 集成电路硬件形式化验证技术分析

3.2 基于电路状态机的形式化建模关键技术

3.3 安全属性描述方法与形式化转译关键技术

3.4 形式化验证工具UPPAAL的特性分析

3.5 Query形式化描述语言语法解析与属性描述方法

3.6 本章小结

第四章 基于高层次形式化模型的硬件木马检测实验及结果分析

4.1 SoC片上系统的构建技术

4.2 电路状态机提取及形式化建模具体流程

4.3 面向硬件木马检测的安全属性描述及分析

4.4 硬件木马检测实验及结果分析

4.5 本章小结

第五章 硅后高层次电磁频谱指纹的构建与硬件木马检测技术研究

5.1 基于RTL代码的电磁频谱指纹构建关键技术

5.2 基于FPGA的硬件木马检测平台设计

5.3 数据预处理流程设计与频谱指纹匹配算法

5.4 基于频谱指纹的硬件木马检测实验与结果分析

5.5 本章小结

第六章 总结与展望

6.1 总结

6.2 展望

参考文献

发表论文和参加科研情况说明

致谢