用于高级数字取证时间线分析的完备形式化知识表示模型
计算机与社会
2019-03-05 v1 密码学与安全
机器学习
摘要
在数字调查（DI）中，清晰掌握随时间发生的事件是一个难以实现的目标。事件重建使调查人员能够理解犯罪的时间线，是 DI 过程中最重要的步骤之一。由于当今新技术的普及，这一复杂任务需要探索大量事件。调查过程结束时产生的任何证据还必须符合法庭的要求，如可重复性、可验证性、有效性等。为此，我们提出了一种由理论概念支持的新方法论，可在整个过程中协助调查人员，包括构建和解释描述案件的时间线。所提出的方法基于一个模型，该模型整合了来自数字取证和软件开发领域的专家知识，以允许对与事件相关的事件进行语义丰富的表示。该模型的主要目的在于以自动且高效的方式分析这些事件。本文描述了该方法，然后聚焦于主要的概念与形式化方面：形式化事件模型化以及用于时间线重建与分析的算子。
引用
@article{arxiv.1903.01396,
title = {A complete formalized knowledge representation model for advanced digital forensics timeline analysis},
author = {Yoan Chabot and Aurélie Bertaux and Christophe Nicollea and Tahar Kechadi},
journal= {arXiv preprint arXiv:1903.01396},
year = {2019}
}