학술논문

A Turing Machine-Based Model for Computer Forensic Reconstruction
Document Type
Conference
Source
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on. :289-290 Jul, 2009
Subject
Computing and Processing
Forensics
Mathematical model
Doped fiber amplifiers
Automata
Turing machines
Computational modeling
Computer simulation
File systems
Magnetic heads
Computer science
Language
Abstract
Reconstruction is of critical importance for computer forensics: reliability depends on our ability to do so with a quantifiable degree of certainty. In this paper, we propose a new model for computer forensic reconstruction by creating a mathematical model of a computer system that reliably shows how computation progressed. Since the new model is Turing Machine-based, the reliability of other forensic reconstruction systems can be evaluated by comparing to this new model.