Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design

Warning

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

DAUBNER Lukáš MAKSOVIĆ Sofija MATULEVIČIUS Raimundas BÜHNOVÁ Barbora SEDLÁČEK Tomáš

Year of publication 2024
Type Article in Proceedings
Conference International Conference on Research Challenges in Information Science (RCIS 2024)
MU Faculty or unit

Faculty of Informatics

Citation
Web https://doi.org/10.1007/978-3-031-59468-7_6
Doi http://dx.doi.org/10.1007/978-3-031-59468-7_6
Keywords Forensic Readiness;Forensic-by-Design;Forensic-Ready Software Systems;Z3 Solver;BPMN;Modelling
Description Forensic-ready software systems integrate preparedness for digital forensic investigation into their design. It includes ensuring the production of potential evidence with sufficient coverage and quality to improve the odds of successful investigation or admissibility. However, the design of such software systems is challenging without in-depth forensic readiness expertise. Thus, this paper presents a tool suite to help the designer. It includes a graphical editor for creating system models in BPMN4FRSS notation, an extended BPMN with forensic readiness constructs, and an analyser utilising Z3 solver for satisfiability checking of formulas derived from the models. It verifies the models' validity, provides targeted hints to enhance forensic readiness capabilities, and allows for what-if analysis of potential evidence quality.
Related projects:

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