Analysis of Evidence Using Formal Event Reconstruction
- Cite this paper as:
- James J., Gladyshev P., Abdullah M.T., Zhu Y. (2010) Analysis of Evidence Using Formal Event Reconstruction. In: Goel S. (eds) Digital Forensics and Cyber Crime. ICDF2C 2009. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 31. Springer, Berlin, Heidelberg
This paper expands upon the finite state machine approach for the formal analysis of digital evidence. The proposed method may be used to support the feasibility of a given statement by testing it against a relevant system model. To achieve this, a novel method for modeling the system and evidential statements is given. The method is then examined in a case study example.
KeywordsDigital Forensics Event Reconstruction State Machine Automata Evidence Modeling
Unable to display preview. Download preview PDF.