This work formally defines a digital forensic investigation and categories of analysis
techniques. The definitions are based on an extended finite state machine (FSM) model that …

The use of automation in digital forensic investigations is not only a technological issue, but
also has political and social implications. This work discusses some challenges with the …

We use principal component analysis (PCA) to reduce the dimensionality of features of
video frames for the purpose of content description. This low-dimensional description makes …

To defeat the process of investigation and make the analysis and reconstruction of attack
scenarios difficult, challenging, or even impossible, attackers are motivated by conducting …

The importance of demonstrating the correctness of forensic analysis tools and automated
incident management tools reinforces the need for a finite state machine (FSM) engine that …

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 …

In any forensic investigation, planning and analysis activities are required in order to
determine what digital media will be seized, what types of information will be sought in the …

One of the major interest perceived by research in digital forensic investigation is the
development of theoretical and scientifically proven methods of incident analysis. However …

This work focuses on the application of intensional logic to cyberforensic analysis and its
benefits and difficulties are compared with the finite-state-automata approach. This work …

As an effort to introduce formalism into computer forensics, researchers have presented
various modeling techniques for planning, analysis, and documentation of forensics …