A Formal Model for Forensic Storage Media Preparation Tools

Benjamin Aziz, Philippe Massonet, Christophe Ponsard

2014

Abstract

This paper defines a model of a special type of digital forensics tools, known as digital media preparation forensic tools, using the formal refinement language Event-B. The complexity and criticality of many types of computer and Cyber crime nowadays combined with improper or incorrect use of digital forensic tools calls for the evidence produced by such tools to be able to meet the minimum admissibility standards the legal system requires, in general implying that it must be generated from reliable and robust tools. Despite the fact that some research and effort has been spent on the validation of digital media preparation forensic tools by means of testing (e.g. within NIST), the verification of such tools and the formal specification of their expected behaviour remains largely under-researched. The goal of this work is to provide a formal specification against which the implementations of such tools can be analysed and tested in the future.

Paper Citation

in Harvard Style

Aziz B., Massonet P. and Ponsard C. (2014). A Formal Model for Forensic Storage Media Preparation Tools . In Proceedings of the 11th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2014) ISBN 978-989-758-045-1, pages 165-170. DOI: 10.5220/0004996001650170

in Bibtex Style

@conference{secrypt14,
author={Benjamin Aziz and Philippe Massonet and Christophe Ponsard},
title={A Formal Model for Forensic Storage Media Preparation Tools},
booktitle={Proceedings of the 11th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2014)},
year={2014},
pages={165-170},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004996001650170},
isbn={978-989-758-045-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2014)
TI - A Formal Model for Forensic Storage Media Preparation Tools
SN - 978-989-758-045-1
AU - Aziz B.
AU - Massonet P.
AU - Ponsard C.
PY - 2014
SP - 165
EP - 170
DO - 10.5220/0004996001650170