基于侧信道分析的硬件木马检测技术研究
| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-17页 |
| ·研究背景 | 第9-12页 |
| ·硬件木马的基本概念 | 第9-11页 |
| ·硬件木马的危害 | 第11-12页 |
| ·选题意义 | 第12-13页 |
| ·国内外研究进展 | 第13-15页 |
| ·论文内容结构及主要创新点 | 第15-17页 |
| ·论文的研究内容 | 第15页 |
| ·论文的组织结构 | 第15-16页 |
| ·论文的主要创新点 | 第16-17页 |
| 第二章 硬件木马概述 | 第17-29页 |
| ·硬件木马的结构及分类 | 第17-24页 |
| ·硬件木马的结构 | 第17-19页 |
| ·硬件木马的分类 | 第19-24页 |
| ·硬件木马的设计 | 第24-29页 |
| ·基于组合逻辑的木马设计 | 第24-25页 |
| ·基于时序逻辑的木马设计 | 第25-27页 |
| ·基于复杂状态机的木马设计 | 第27-29页 |
| 第三章 基于 FPGA 的木马检测平台设计 | 第29-59页 |
| ·木马检测技术概述 | 第29-36页 |
| ·基于失效分析的检测技术 | 第30页 |
| ·基于逻辑测试的检测技术 | 第30-32页 |
| ·基于侧信道分析的检测技术 | 第32-34页 |
| ·硬件木马主动检测技术 | 第34-36页 |
| ·基于 FPGA 的检测平台和检测流程设计 | 第36-39页 |
| ·检测平台的总体架构设计 | 第36-38页 |
| ·基于 FPGA 的硬件木马检测流程设计 | 第38-39页 |
| ·木马检测的载体电路的设计 | 第39-50页 |
| ·安全微控制器介绍 | 第40页 |
| ·硬件木马主动检测结构的设计 | 第40-44页 |
| ·真随机数发生器的设计 | 第44-48页 |
| ·加解密协处理器的设计 | 第48-50页 |
| ·实验结果与分析 | 第50-56页 |
| ·基于功耗分析的检测平台设计 | 第50-51页 |
| ·载体电路及木马电路的功耗分析 | 第51-54页 |
| ·总线保护结构的实验分析 | 第54-56页 |
| ·存在的问题 | 第56-59页 |
| ·参考模型的获取问题 | 第57-58页 |
| ·检测流程中存在的问题 | 第58-59页 |
| 第四章 硬件木马的激活机制研究 | 第59-79页 |
| ·硬件木马激活的概念 | 第59页 |
| ·激活模型分析 | 第59-64页 |
| ·逻辑翻转概率定义 | 第61-62页 |
| ·硬件木马的激活因素 | 第62-64页 |
| ·提高木马激活概率的专用结构的设计 | 第64-68页 |
| ·专用结构的原理分析 | 第64-67页 |
| ·相比 DFT 结构的优点 | 第67页 |
| ·硬件木马的激活概率分析 | 第67-68页 |
| ·MFTD 的参数分析 | 第68-73页 |
| ·翻转概率阈值(P_(th))分析 | 第68-70页 |
| ·时序型硬件木马的激活分析 | 第70-71页 |
| ·木马检测时间的分析 | 第71-73页 |
| ·插入 MFTD 结构的流程 | 第73-74页 |
| ·仿真结果分析 | 第74-79页 |
| 第五章 木马检测的优化算法和判决机制研究 | 第79-119页 |
| ·基于侧信道分析的仿真模型 | 第79-84页 |
| ·CMOS 电路的功耗模型 | 第79-82页 |
| ·硬件木马的侧信道建模 | 第82-84页 |
| ·模型的数据维度分析 | 第84-90页 |
| ·数字集成电路中的噪声 | 第84-86页 |
| ·硬件木马检测的噪声分析 | 第86-87页 |
| ·数据冗余分析 | 第87-90页 |
| ·数据优化算法设计 | 第90-94页 |
| ·降维技术简介 | 第90-93页 |
| ·基于 PCA 的优化算法设计 | 第93-94页 |
| ·木马检测的判定方法 | 第94-100页 |
| ·判定方法的设计 | 第94-95页 |
| ·经典的相关系数分析 | 第95-98页 |
| ·相关系数存在的问题 | 第98-100页 |
| ·硬件木马的检测判决参数的设计 | 第100-104页 |
| ·检测判决参数的设计原则 | 第100-102页 |
| ·基于重叠区间比值的判决参数设计 | 第102-103页 |
| ·基于权重变化的判决参数设计 | 第103-104页 |
| ·仿真结果及分析 | 第104-119页 |
| ·侧信道分析模型的仿真结果 | 第106-108页 |
| ·基于 PCA 的优化算法的仿真结果 | 第108-114页 |
| ·检测判决参数的仿真结果 | 第114-119页 |
| 第六章 总结与展望 | 第119-123页 |
| ·全文总结 | 第119-120页 |
| ·下一步仍需完成的工作 | 第120页 |
| ·硬件木马检测技术展望 | 第120-123页 |
| 参考文献 | 第123-133页 |
| 发表论文和参加科研情况说明 | 第133-135页 |
| 致谢 | 第135页 |