| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-19页 |
| ·论文研究主要内容 | 第11-12页 |
| ·论文研究意义 | 第12-14页 |
| ·论文研究主要方法和技术路线 | 第14-15页 |
| ·国内外相关研究现状 | 第15-16页 |
| ·论文主要研究工作 | 第16-17页 |
| ·论文组织结构 | 第17-19页 |
| 第二章 PLD安全性漏洞分析与检测原理 | 第19-31页 |
| ·逻辑器件安全性漏洞分析 | 第19-23页 |
| ·PLD内部结构分析 | 第19-20页 |
| ·PLD安全性漏洞存在形式 | 第20-23页 |
| ·安全性漏洞黑箱检测原理 | 第23-27页 |
| ·黑箱检测思想 | 第23页 |
| ·安全性漏洞检测模型 | 第23-26页 |
| ·安全性漏洞检测流程 | 第26-27页 |
| ·检测主要问题分析 | 第27-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 PLD安全性漏洞检测平台总体架构及关键技术 | 第31-49页 |
| ·检测平台总体设计目标 | 第31页 |
| ·检测平台架构设计 | 第31-36页 |
| ·检测平台总体架构 | 第31-32页 |
| ·检测平台硬件架构 | 第32-34页 |
| ·检测平台软件架构 | 第34-36页 |
| ·PLD安全性漏洞检测关键技术研究 | 第36-48页 |
| ·改进的同步判别算法 | 第36-38页 |
| ·异常状态检测技术 | 第38-41页 |
| ·冗余功能检测技术 | 第41-48页 |
| ·本章小结 | 第48-49页 |
| 第四章 PLD安全性漏洞检测平台设计与实现 | 第49-69页 |
| ·I/O控制电路设计与实现 | 第49-52页 |
| ·译码电路设计与实现 | 第52-53页 |
| ·动态适配设计与实现 | 第53-54页 |
| ·检测接口设计与实现 | 第54-59页 |
| ·总线接口电路设计与实现 | 第54-59页 |
| ·芯片锁紧座电路设计与实现 | 第59页 |
| ·上层软件系统设计与实现 | 第59-68页 |
| ·改进的同步判别算法设计与实现 | 第59-63页 |
| ·安全性漏洞检测设计与实现 | 第63-65页 |
| ·安全性漏洞可视化设计与实现 | 第65-68页 |
| ·本章小结 | 第68-69页 |
| 第五章 系统测试 | 第69-79页 |
| ·测试环境 | 第69-70页 |
| ·系统测试的硬件环境 | 第69页 |
| ·系统测试的软件环境 | 第69-70页 |
| ·测试方案 | 第70-72页 |
| ·测试方法 | 第70-71页 |
| ·测试步骤 | 第71-72页 |
| ·测试结果与性能分析 | 第72-78页 |
| ·系统性能测试 | 第72-73页 |
| ·系统正确性测试 | 第73-78页 |
| ·本章小结 | 第78-79页 |
| 结束语 | 第79-81页 |
| 参考文献 | 第81-85页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第85-86页 |
| 致谢 | 第86页 |