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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/SSIRI.2009.41 | SSIRI |
Keywords | Field | DocType |
computational modeling,computer science,computer simulation,data models,mathematical model,software reliability,forensics,computer forensics,reliability,turing machines,turing machine,automata | Computer forensics,Computer science,Abstract state machines,Super-recursive algorithm,Theoretical computer science,Real-time computing,Turing machine,Artificial intelligence,Turing,Turing machine examples,Non-deterministic Turing machine,Abstract machine | Conference |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ryan Q. Hankins | 1 | 9 | 1.68 |
Tetsutaro Uehara | 2 | 48 | 14.20 |
Jigang Liu | 3 | 109 | 18.43 |