| 中文摘要 | 第3-5页 |
| 英文摘要 | 第5-6页 |
| 1 绪论 | 第10-20页 |
| 1.1 引言 | 第10-12页 |
| 1.2 研究背景 | 第12-14页 |
| 1.3 国内外研究现状 | 第14-16页 |
| 1.3.1 传统电路中木马电路检测的研究现状 | 第14-15页 |
| 1.3.2 可逆电路中木马电路检测的研究现状 | 第15页 |
| 1.3.3 电路知识产权保护的研究现状 | 第15-16页 |
| 1.4 研究目的与研究内容 | 第16-17页 |
| 1.4.1 传统电路中木马电路的检测 | 第16页 |
| 1.4.2 可逆电路中木马电路的检测 | 第16页 |
| 1.4.3 电路知识产权的保护 | 第16-17页 |
| 1.5 论文的主要贡献 | 第17-18页 |
| 1.5.1 传统电路中木马电路检测的研究 | 第17页 |
| 1.5.2 可逆电路中木马电路检测的研究 | 第17页 |
| 1.5.3 电路知识产权保护的研究 | 第17-18页 |
| 1.6 论文组织结构 | 第18-20页 |
| 2 运行时木马电路检错与恢复机制研究 | 第20-34页 |
| 2.1 引言 | 第20-22页 |
| 2.1.1 木马电路模型 | 第21-22页 |
| 2.2 研究动机 | 第22-24页 |
| 2.3 木马电路错误恢复技术 | 第24-26页 |
| 2.3.1 木马电路引起的错误模型 | 第24页 |
| 2.3.2 一种快速的木马电路错误恢复设计 | 第24-26页 |
| 2.4 设计原则的最优化模型 | 第26-31页 |
| 2.4.1 最优化方案示例及问题定义 | 第26-27页 |
| 2.4.2 整数线性规划(ILP)模型 | 第27-31页 |
| 2.5 实验及分析 | 第31-33页 |
| 2.5.1 实验配置 | 第31页 |
| 2.5.2 实验结果及分析 | 第31-33页 |
| 2.6 本章小结 | 第33-34页 |
| 3 可逆电路中木马电路检测的研究 | 第34-58页 |
| 3.1 引言 | 第34-35页 |
| 3.2 可逆逻辑 | 第35-38页 |
| 3.3 威胁模型 | 第38-40页 |
| 3.3.1 硬件木马电路 | 第38-39页 |
| 3.3.2 威胁模型 | 第39页 |
| 3.3.3 可逆电路中的木马电路和物理故障 | 第39-40页 |
| 3.4 可逆电路中的木马电路检测 | 第40-49页 |
| 3.4.1 单门木马电路检测 | 第40-42页 |
| 3.4.2 2-门木马检测 | 第42-43页 |
| 3.4.3 3-门木马检测 | 第43-44页 |
| 3.4.4 4-门木马检测 | 第44页 |
| 3.4.5 对称木马的检测 | 第44-46页 |
| 3.4.6 具有分布式部件的木马电路 | 第46-49页 |
| 3.5 可逆电路中的木马检测和预防技术 | 第49-54页 |
| 3.5.1 任意木马电路的研究 | 第49-50页 |
| 3.5.2 可逆电路不含辅助输入时木马电路的检测 | 第50页 |
| 3.5.3 可逆电路包含辅助输入时木马电路的检测 | 第50-51页 |
| 3.5.4 混淆I/O以预防木马 | 第51-54页 |
| 3.6 实验及分析 | 第54-57页 |
| 3.7 本章小结 | 第57-58页 |
| 4 电路知识产权保护的研究 | 第58-90页 |
| 4.1 引言 | 第58-60页 |
| 4.2 两种混淆机制的系统模型 | 第60-63页 |
| 4.2.1 研究动机及IP窃取/盗用威胁模型 | 第60-61页 |
| 4.2.2 基于嵌入式可编程逻辑的系统模型 | 第61页 |
| 4.2.3 基于分离制造的系统模型 | 第61-62页 |
| 4.2.4 两种IP保护机制的对比 | 第62-63页 |
| 4.3 基于EPL的RT级混淆技术 | 第63-68页 |
| 4.3.1 基本思路 | 第63-64页 |
| 4.3.2 最大化H | 第64-65页 |
| 4.3.3 基本方案的安全性分析 | 第65-66页 |
| 4.3.4 基本方案+冗余模块 | 第66-67页 |
| 4.3.5 基本方案+模块替换 | 第67-68页 |
| 4.4 基于分离制造的RT级混淆技术 | 第68-78页 |
| 4.4.1 攻击难度上限的分析 | 第69-72页 |
| 4.4.2 Numberofpossibledatapaths的下界分析 | 第72页 |
| 4.4.3 RT级混淆技术实现的相关问题 | 第72-73页 |
| 4.4.4 多路复用器和功能单元的权衡 | 第73-75页 |
| 4.4.5 最大化安全标准的算法 | 第75-77页 |
| 4.4.6 最小化开销的算法 | 第77-78页 |
| 4.5 实验及分析 | 第78-87页 |
| 4.5.1 基于EPL的混淆技术 | 第78-80页 |
| 4.5.2 基于分离制造的混淆技术 | 第80-87页 |
| 4.6 三项工作的对比分析 | 第87-89页 |
| 4.6.1 相比于BellingtheCAD有较高安全性 | 第87-88页 |
| 4.6.2 相比于EPL更高效 | 第88页 |
| 4.6.3 三项工作的比较结果 | 第88-89页 |
| 4.7 本章小结 | 第89-90页 |
| 5 总结与展望 | 第90-92页 |
| 5.1 工作总结 | 第90页 |
| 5.2 工作展望 | 第90-92页 |
| 致谢 | 第92-94页 |
| 参考文献 | 第94-102页 |
| 附录 | 第102-103页 |
| A.攻读博士学位期间的主要研究成果(第一作者) | 第102-103页 |
| B.攻读博士学位期间申请的专利和软件著作权 | 第103页 |