作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (8): 20-22. doi: 10.3969/j.issn.1000-3428.2009.08.007

• 博士论文 • 上一篇    下一篇

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

陈丹伟1,2,孙国梓1,2,唐 娟1,2,王海平1,2   

  1. (1. 南京邮电大学计算机学院,南京 210003;2. 南京邮电大学计算机技术研究所,南京 210003)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-04-20 发布日期:2009-04-20

Proving Method for Validity of Computer Data Forensics

CHEN Dan-wei1,2, SUN Guo-zi1,2, TANG Juan1,2, WANG Hai-ping1,2   

  1. (1. College of Computer, Nanjing University of Posts & Telecommunications, Nanjing 210003;2. Institute of Computer Technology, Nanjing University of Posts & Telecommunications, Nanjing 210003)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-04-20 Published:2009-04-20

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

关键词: 计算机数据, 取证, 有效性, 计算机犯罪

Abstract:

After describing the basic demands of computer forensics, this paper puts forward a system of proving the reliability of computer forensics. Thought of digital forensics and its system is studied. With the definitions and illations of the forensic methods and gained data, it investigates a formalized method of proving the validity of computer forensics. The method is put forward to proving the reliability of a computer forensics as an example.

Key words: computer data, forensics, validity, computer crime

中图分类号: