A Complete Formalized Knowledge Representation Model for Advanced Digital Forensics Timeline Analysis

Yoan Chabot 1 Aurélie Bertaux 2 Christophe Nicolle 3 Tahar Kechadi 4
1 Le2i - CheckSem
Le2i - Laboratoire Electronique, Informatique et Image, School of Computer Science and Informatics [Dublin]
3 Checksem
Le2i - Laboratoire Electronique, Informatique et Image
Abstract : Have a clear view of events that occurred over time is a difficult objective to achieve in digital investigations. Event reconstruction, which allows investigators to understand the timeline of a crime, is one of the most important step of an investigation. 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 knowledge 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.
Type de document :
Article dans une revue
Digital Investigation, Elsevier, 2014, 11 (2), pp.S95-S105. <10.1016/j.diin.2014.05.009>


https://hal.archives-ouvertes.fr/hal-01025291
Contributeur : Yoan Chabot <>
Soumis le : jeudi 17 juillet 2014 - 14:47:40
Dernière modification le : lundi 13 octobre 2014 - 15:43:25

Identifiants

Collections

Citation

Yoan Chabot, Aurélie Bertaux, Christophe Nicolle, Tahar Kechadi. A Complete Formalized Knowledge Representation Model for Advanced Digital Forensics Timeline Analysis. Digital Investigation, Elsevier, 2014, 11 (2), pp.S95-S105. <10.1016/j.diin.2014.05.009>. <hal-01025291>

Exporter

Partager

Métriques

Consultations de la notice

111