文摘
英文文摘
论文说明:缩略语表
声明
第1章绪论
1.1计算机取证概述
1.1.1研究意义
1.1.2研究现状
1.2计算机取证关键问题与本文选题
1.3本文主要研究内容及组织结构
第2章细粒度数据完整性检验方法
2.1引言
2.2电子证据固定中的完整性检验
2.3细粒度的完整性检验
2.3.1 Hash可压缩性
2.3.2组合编码原理
2.3.3基于组合编码原理的完整性检验
2.4完整性指示码
2.4.1基本概念
2.4.2完整性指示码的性质
2.4.3完整性指示码的分类
2.5本章小结
第3章细粒度数据完整性单错指示码
3.1引言
3.2组合单错完整性指示码
3.2.1组合单错完整性指示码的构造
3.2.2 Hash生成
3.2.3 Hash检验
3.2.4性能分析
3.3超方体单错完整性指示码
3.3.1超方体单错完整性指示码的构造
3.3.2 Hash生成
3.3.3 Hash检验
3.3.4性能分析
3.4单错完整性指示码设计实例分析
3.5本章小结
第4章细粒度数据完整性多错指示码
4.1引言
4.2有限域划分
4.2.1基本概念
4.2.2d-线性无关向量组
4.2.3有限域划分
4.3有限域多错完整性指示码
4.3.1有限域多错完整性指示码的构造
4.3.2 Hash生成
4.3.3 Hash检验
4.3.4性能分析
4.4有限域多错指示码设计实例分析
4.5本章小结
第5章带密钥的上下文触发分片Hash快速算法
5.1引言
5.2上下文触发分片Hash算法及脆弱性分析
5.2.1上下文触发分片Hash算法
5.2.2上下文触发分片Hash算法的脆弱性分析
5.3带密钥的上下文触发分片Hash快速算法
5.3.1算法的安全机制
5.3.2带密钥的上下文触发分片Hash快速算法
5.4实验结果及分析
5.4.1 Sksum算法的抗攻击能力
5.4.2 Sksum算法的时间性能
5.5本章小结
第6章形式化推理通用有限状态自动机模型
6.1引言
6.2取证推理形式化
6.2.1通用有限状态自动机模型
6.2.2电子证据形式化
6.3多策略的取证推理方法
6.3.1推理策略
6.3.2推理过程
6.3.3推理算法
6.4案例分析及实验结果
6.4.1案例分析
6.4.2实验结果
6.5本章小结
结论
致谢
参考文献
攻读博士学位期间完成的论文及科研成果