Finite state machine approach to digital event reconstruction

Digital Investigation

Volumn 1, Issue 2, 2004, Pages 130-149

  Gladyshev, Pavel ^a   Patel, Ahmed ^a  

^a UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

Algorithm; Digital; Event; Forensics; Reconstruction; State machine

Indexed keywords

ALGORITHMS; AUTOMATION; CALCULATIONS; COMPUTER PROGRAM LISTINGS; GRAPH THEORY; LOCAL AREA NETWORKS; NETWORK PROTOCOLS; STATE SPACE METHODS;

DIGITAL FORENSICS; EVENT; RECONSTRUCTION; STATE MACHINE;

COMPUTER SYSTEMS;

EID: 3042854565     PISSN: 17422876     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.diin.2004.03.001     Document Type: Article

References (6)

1. Carrier B. Defining digital forensic examination and analysis tools using abstraction layers. Int J Digit Evid. 1:(4):2003.
2. Casey E. Error, uncertainty and loss in digital evidence. Int J Digit Evid. 1:(2):2002.
3. Clark E.M., Grumberg O., Peled D.A. Model checking. 2000;MIT Press. ISBN 0262032708.
4. Gansner E., North S.C. An open graph visualization system and its applications to software engineering. Softw Pract Exp. 1999.
5. Geber M.B., Leeson J.J. Shrinking the ocean: formalizing I/O methods in modern operating systems. Int J Digit Evid. 1:(2):2002.
6. Stephenson P. Modeling of post-incident root cause analysis. Int J Digit Evid. 2:(2):2003.