A complete formalized knowledge representation model for advanced digital forensics timeline analysis

02/21/2019
by   Yoan Chabot, et al.
0

Having a clear view of events that occurred over time is a difficult objective to achieve in digital investigations (DI). Event reconstruction, which allows investigators to understand the timeline of a crime, is one of the most important step of a DI process. This complex task requires exploration of a large amount of events due to the pervasiveness of new technologies nowadays. Any evidence produced at the end of the investigative process must also meet the requirements of the courts, such as reproducibility, verifiability, validation, etc. For this purpose, we propose a new methodology, supported by theoretical concepts, that can assist investigators through the whole process including the construction and the interpretation of the events describing the case. The proposed approach is based on a model which integrates knowledge of experts from the fields of digital forensics and software development to allow a semantically rich representation of events related to the incident. The main purpose of this model is to allow the analysis of these events in an automatic and efficient way. This paper describes the approach and then focuses on the main conceptual and formal aspects: a formal incident modelization and operators for timeline reconstruction and analysis.

READ FULL TEXT
research
05/20/2020

Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine

Models are centrally important in many scientific fields. A model is a r...
research
04/26/2017

Modeling Events as Machines

The notion of events has occupied a central role in modeling and has an ...
research
03/02/2022

Conceptual Modeling of Events Based on One-Category Ontology

In previous works, we proposed a one-category (entitled thimac) conceptu...
research
06/29/2018

Quantum aspects of high dimensional formal representation of conceptual spaces

Human cognition is a complex process facilitated by the intricate archit...
research
05/20/2021

Towards Scalable Modeling of Biology in Event-B

Biology offers many examples of large-scale, complex, concurrent systems...
research
09/03/2020

A Theoretical Approach for a Novel Model to Realizing Empathy

The first objective of this paper are to introduce a strong theoretical ...

Please sign up or login with your details

Forgot password? Click here to reset