计算机取证的安全性及取证推理研究
| 摘要 | 第1-9页 |
| Abstract | 第9-16页 |
| 第1章 绪论 | 第16-26页 |
| ·计算机取证概述 | 第16-23页 |
| ·研究意义 | 第16-17页 |
| ·研究现状 | 第17-23页 |
| ·计算机取证关键问题与本文选题 | 第23-24页 |
| ·本文主要研究内容及组织结构 | 第24-26页 |
| 第2章 细粒度数据完整性检验方法 | 第26-40页 |
| ·引言 | 第26页 |
| ·电子证据固定中的完整性检验 | 第26-28页 |
| ·细粒度的完整性检验 | 第28-31页 |
| ·Hash可压缩性 | 第28页 |
| ·组合编码原理 | 第28-29页 |
| ·基于组合编码原理的完整性检验 | 第29-31页 |
| ·完整性指示码 | 第31-39页 |
| ·基本概念 | 第31-35页 |
| ·完整性指示码的性质 | 第35-38页 |
| ·完整性指示码的分类 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第3章 细粒度数据完整性单错指示码 | 第40-51页 |
| ·引言 | 第40页 |
| ·组合单错完整性指示码 | 第40-45页 |
| ·组合单错完整性指示码的构造 | 第40-41页 |
| ·Hash生成 | 第41-42页 |
| ·Hash检验 | 第42-43页 |
| ·性能分析 | 第43-45页 |
| ·超方体单错完整性指示码 | 第45-48页 |
| ·超方体单错完整性指示码的构造 | 第45-46页 |
| ·Hash生成 | 第46页 |
| ·Hash检验 | 第46页 |
| ·性能分析 | 第46-48页 |
| ·单错完整性指示码设计实例分析 | 第48-49页 |
| ·本章小结 | 第49-51页 |
| 第4章 细粒度数据完整性多错指示码 | 第51-71页 |
| ·引言 | 第51页 |
| ·有限域划分 | 第51-57页 |
| ·基本概念 | 第51-52页 |
| ·d-线性无关向量组 | 第52-55页 |
| ·有限域划分 | 第55-57页 |
| ·有限域多错完整性指示码 | 第57-67页 |
| ·有限域多错完整性指示码的构造 | 第57-58页 |
| ·Hash生成 | 第58-61页 |
| ·Hash检验 | 第61-62页 |
| ·性能分析 | 第62-67页 |
| ·有限域多错指示码设计实例分析 | 第67-69页 |
| ·本章小结 | 第69-71页 |
| 第5章 带密钥的上下文触发分片Hash快速算法 | 第71-87页 |
| ·引言 | 第71-72页 |
| ·上下文触发分片Hash算法及脆弱性分析 | 第72-75页 |
| ·上下文触发分片Hash算法 | 第72-74页 |
| ·上下文触发分片Hash算法的脆弱性分析 | 第74-75页 |
| ·带密钥的上下文触发分片Hash快速算法 | 第75-82页 |
| ·算法的安全机制 | 第75-76页 |
| ·带密钥的上下文触发分片Hash快速算法 | 第76-82页 |
| ·实验结果及分析 | 第82-85页 |
| ·Sksum算法的抗攻击能力 | 第82-84页 |
| ·Sksum算法的时间性能 | 第84-85页 |
| ·本章小结 | 第85-87页 |
| 第6章 形式化推理通用有限状态自动机模型 | 第87-97页 |
| ·引言 | 第87-88页 |
| ·取证推理形式化 | 第88-92页 |
| ·通用有限状态自动机模型 | 第88-90页 |
| ·电子证据形式化 | 第90-92页 |
| ·多策略的取证推理方法 | 第92-94页 |
| ·推理策略 | 第92页 |
| ·推理过程 | 第92-93页 |
| ·推理算法 | 第93-94页 |
| ·案例分析及实验结果 | 第94-96页 |
| ·案例分析 | 第94-95页 |
| ·实验结果 | 第95-96页 |
| ·本章小结 | 第96-97页 |
| 结论 | 第97-100页 |
| 致谢 | 第100-101页 |
| 参考文献 | 第101-109页 |
| 攻读博士学位期间完成的论文及科研成果 | 第109-111页 |
