Towards verifiable evidence generation in forensic-ready systems

Investor logo

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

DAUBNER Lukáš MACÁK Martin BÜHNOVÁ Barbora PITNER Tomáš

Year of publication 2020
Type Article in Proceedings
Conference 2020 IEEE International Conference on Big Data (Big Data)
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1109/BigData50022.2020.9378035
Keywords Forensic Readiness; Verification; Software Development; Forensic by Design; Digital Evidence
Description With the increasing threat of cybercrime, there is also an increasing need for the forensic investigation of those crimes. However, the topic of systematic preparation on the possible forensic investigation during the software development, called forensic readiness, has only been explored since recently. Thus, there are still many challenges and open issues. One of the obstacles is ensuring the correct implementation. Moreover, the growing volume and variety of digital evidence produced by the systems have to be put into consideration. It is especially important in the critical information infrastructure domain where potential cyberattacks could impact the safety of people. In this paper, we present research towards verification of forensic readiness in software development, with a focus on digital evidence they produce, to assist the advancement of this research domain. Furthermore, we formulate a process that serves a template for designing, developing, and refining a verification method for forensic-ready software systems.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info