| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-13页 |
| ·研究背景 | 第8-11页 |
| ·计算机取证概述 | 第8-9页 |
| ·电子数据可信取证理论基础 | 第9-11页 |
| ·本文研究的问题 | 第11页 |
| ·电子数据可信取证的静态属性语义特征模型 | 第11页 |
| ·电子数据可信取证的动态行为语义描述模型 | 第11页 |
| ·本文的组织结构 | 第11-13页 |
| 第二章 解决方案概述及相关工具介绍和理论研究 | 第13-22页 |
| ·形式化方法研究 | 第13-14页 |
| ·形式化方法的概述 | 第13-14页 |
| ·形式化方法与可视化模型的结合 | 第14页 |
| ·电子数据可信取证的静态属性语义特征模型相关 | 第14-17页 |
| ·解决方案概述 | 第14页 |
| ·面向特征的领域分析方法(FODA) | 第14-16页 |
| ·对象约束语言(OCL) | 第16-17页 |
| ·电子数据可信取证的动态行为语义描述模型相关 | 第17-21页 |
| ·解决方案概述 | 第17-18页 |
| ·基于瀑布模型的电子数据取证模型 | 第18页 |
| ·时间自动机与仿真验证工具 UPPAAL | 第18-20页 |
| ·层次时间自动机(HTA) | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 采用 FODA 和 OCL 的电子数据可信取证的静态语义特征模型 | 第22-36页 |
| ·基于 FODA 的电子数据可信取证领域的领域分析建模 | 第22-30页 |
| ·电子数据可信取证领域上下文分析 | 第22-24页 |
| ·电子数据可信取证领域分析建模 | 第24-30页 |
| ·使用 OCL 表示特征之间的关系与约束 | 第30-32页 |
| ·使用 OCL 描述取证过程中的规则约束 | 第32-34页 |
| ·使用 OCL 的集概念对静态属性特征分类 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 基于 HTA 的电子数据可信取证的动态行为模型 | 第36-46页 |
| ·电子数据可信取证的动态行为模型设计开发框架 | 第36页 |
| ·HTA 与基于瀑布模型的可信取证的结合 | 第36-43页 |
| ·基于 HTA 的电子数据可信取证的动态行为分析设计 | 第37-39页 |
| ·基于 HTA 的电子数据可信取证的动态行为建模 | 第39-43页 |
| ·HTA 模型到 UPPAAL 的 TA 模型的转换 | 第43-45页 |
| ·时间自动机网络 | 第43-44页 |
| ·转换框架规则 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 模型验证分析 | 第46-66页 |
| ·电子数据可信取证的静态语义特征模型实例分析 | 第46页 |
| ·模型的转换 | 第46-58页 |
| ·可信发现层时间自动机模型 | 第47-50页 |
| ·可信固定层时间自动机模型 | 第50-53页 |
| ·可信提取层时间自动机模型 | 第53-55页 |
| ·可信分析层时间自动机模型 | 第55-58页 |
| ·可信表达层时间自动机模型 | 第58页 |
| ·基于 HTA 的电子数据可信取证的动态行为模型的仿真分析 | 第58-64页 |
| ·基于 HTA 的电子数据可信取证的动态行为模型的验证 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 总结与展望 | 第66-67页 |
| ·本文的主要工作 | 第66页 |
| ·本文存在的不足及工作展望 | 第66-67页 |
| 致谢 | 第67-68页 |
| 攻读硕士研究生期间发表的论文 | 第68-69页 |
| 参考文献 | 第69-71页 |
