| 一种计算机数据取证有效性的证明方法 |
| |
| 引用本文： | 陈丹伟,孙国梓,唐娟,王海平.一种计算机数据取证有效性的证明方法[J].计算机工程,2009,35(8):20-22. |
| |
| 作者姓名： | 陈丹伟 孙国梓 唐娟 王海平 |
| |
| 作者单位： | 南京邮电大学计算机学院,南京,210003;南京邮电大学计算机技术研究所,南京,210003 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究。通过对取证方法有效性和所取数据有效性进行一系列的定义和推导,研究计算机数据取证有效性的一种形式化证明方法。利用上述证明方法对一个计算机取证实例进行取证有效性的形式化证明。
|
| 关 键 词： | 计算机数据 取证 有效性 计算机犯罪 |
| 修稿时间： | |
Proving Method for Validity of Computer Data Forensics |
| |
| CHEN Dan-wei,SUN Guo-zi,TANG Juan,WANG Hai-ping.Proving Method for Validity of Computer Data Forensics[J].Computer Engineering,2009,35(8):20-22. |
| |
| Authors: | CHEN Dan-wei SUN Guo-zi TANG Juan WANG Hai-ping |
| |
| Affiliation: | 1. College of Computer;Nanjing University of Posts & Telecommunications;Nanjing 210003;2. Institute of Computer Technology;Nanjing 210003 |
| |
| 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. |
| |
| Keywords: | ]computer data forensics validity computer crime |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
