摘要4-5
Abstract5-6
目录6-8
第一章 绪论8-13
1.1 探讨背景8-11
1.1.1 计算机取证概述8-9
1.1.2 电子数据可信取证论述基础9-11
1.2 本论文探讨的不足11
1.2.1 电子数据可信取证的静态属性语义特点模型11
1.2.2 电子数据可信取证的动态行为语义描述模型11
1.3 本论文的组织结构11-13
第二章 解决案例概述及相关工具介绍和论述探讨13-22
2.1 形式化策略探讨13-14
2.1.1 形式化策略的概述13-14
2.1.2 形式化策略与可视化模型的结合14
2.2 电子数据可信取证的静态属性语义特点模型相关14-17
2.2.1 解决案例概述14
2.2.2 面向特点的领域浅析策略(FODA)14-16
2.2.3 对象约束语言(OCL)16-17
2.3 电子数据可信取证的动态行为语义描述模型相关17-21
2.3.1 解决案例概述17-18
2.3.2 基于瀑布模型的电子数据取证模型18
2.3.3 时间自动机与仿真验证工具 UPPAAL18-20
2.3.4 层次时间自动机(HTA)20-21
2.4 本章小结21-22
第三章 采取 FODA 和 OCL 的电子数据可信取证的静态语义特点模型22-36
3.1 基于 FODA 的电子数据可信取证领域的领域浅析建模22-30
3.1.1 电子数据可信取证领域上下文浅析22-24
3.1.2 电子数据可信取证领域浅析建模24-30
3.2 利用 OCL 表示特点之间的联系与约束30-32
3.3 利用 OCL 描述取证历程中的规则约束32-34
3.4 利用 OCL 的集概念对静态属性特点分类34-35
3.5 本章小结35-36
第四章 基于 HTA 的电子数据可信取证的动态行为模型36-46
4.1 电子数据可信取证的动态行为模型设计开发框架36
4.2 HTA 与基于瀑布模型的可信取证的结合36-43
4.2.1 基于 HTA 的电子数据可信取证的动态行为浅析设计37-39
4.2.2 基于 HTA 的电子数据可信取证的动态行为建模39-43
4.3 HTA 模型到 UPPAAL 的 TA 模型的转换43-45
4.3.1 时间自动机网络43-44
4.3.2 转换框架规则44-45
4.4 本章小结45-46
第五章 模型验证浅析46-66
5.1 电子数据可信取证的静态语义特点模型实例浅析46
5.2 模型的转换46-58
5.2.1 可信发现层时间自动机模型47-50
5.2.2 可信固定层时间自动机模型50-53
5.2.3 可信提取层时间自动机模型53-55
5.2.4 可信浅析层时间自动机模型55-58
5.2.5 可信表达层时间自动机模型58
5.3 基于 HTA 的电子数据可信取证的动态行为模型的仿真浅析58-64
5.4 基于 HTA 的电子数据可信取证的动态行为模型的验证64-65
5.5 本章小结65-66
第六章 总结与展望66-67
6.1 本论文的主要工作66
6.2 本论文有着的不足及工作展望66-67
致谢67-68
攻读硕士探讨生期间发表的论文68-69