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

• 作者: 唐娟 孙国梓 王海平 陈丹伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 计算机数据 取证 有效性 计算机犯罪
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 博士论文
• 页码范围: 20-22
• 页数: 3页
• 分类号: TP309
• 字数: 4630字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.08.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈丹伟	南京邮电大学计算机学院	61	582	12.0	22.0
5	孙国梓	南京邮电大学计算机学院	62	496	12.0	20.0
9	唐娟	南京邮电大学计算机学院	18	101	6.0	9.0
13	王海平	南京邮电大学计算机学院	7	69	5.0	7.0