一种计算机数据取证有效性的证明方法

摘要：

简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究.通过对取证方法有效性和所取数据有效性进行一系列的定义和推导,研究计算机数据取证有效性的一种形式化证明方法.利用上述证明方法对一个计算机取证实例进行取证有效性的形式化证明.

关键词：计算机数据、取证、有效性、计算机犯罪

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60703086;国家"863"计划基金资助项目2004BA811B04

在线出版日期：2009-05-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：20-22