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