Analysis of Evidence Using Formal Event Reconstruction

@article{James2009AnalysisOE,
  title={Analysis of Evidence Using Formal Event Reconstruction},
  author={J. James and P. Gladyshev and M. T. Abdullah and Yuandong Zhu},
  journal={ArXiv},
  year={2009},
  volume={abs/1302.2308}
}
  • J. James, P. Gladyshev, +1 author Yuandong Zhu
  • Published 2009
  • Computer Science
  • ArXiv
  • 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. 
    31 Citations

    Topics from this paper

    Modelling and refinement of forensic data acquisition specifications
    • B. Aziz
    • Computer Science
    • Digit. Investig.
    • 2014
    • 8
    • PDF
    Digital Forensic Reconstruction of a Program Action
    • 6
    Automated inference of past action instances in digital investigations
    • 17
    • PDF
    An ontology-based approach for the reconstruction and analysis of digital incidents timelines
    • 31
    • PDF
    Formal Digital Investigation of Anti-forensic Attacks
    • Slim Rekhis, N. Boudriga
    • Computer Science
    • 2010 Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering
    • 2010
    • 15
    Software Engineering Challenges for Investigating Cyber-Physical Incidents
    • 2
    • PDF

    References

    SHOWING 1-10 OF 21 REFERENCES
    Finite state machine approach to digital event reconstruction
    • 108
    • PDF
    Analyzing multiple logs for forensic evidence
    • 62
    A hypothesis-based approach to digital forensic investigations
    • 101
    • PDF
    Theoretical Aspects of Digital Investigation of Security Incidents
    • 11
    Categories of digital investigation analysis techniques based on the computer history model
    • 57
    • PDF
    Automated analysis for digital forensic science: semantic integrity checking
    • T. Stallard, K. Levitt
    • Computer Science
    • 19th Annual Computer Security Applications Conference, 2003. Proceedings.
    • 2003
    • 73
    • PDF
    Hypothesis-Based Investigation of Digital Timestamps
    • 37
    • PDF
    Automata and Computability
    • D. Kozen
    • Mathematics, Computer Science
    • Undergraduate Texts in Computer Science
    • 1997
    • 371
    • PDF
    Regular expression
    • 98
    • PDF