FREAS: Forensic-Ready Analysis Suite

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 SEDLÁČEK Tomáš
Year of publication	2024
Type	Software
MU Faculty or unit	Faculty of Informatics
web	https://freas-tools.github.io/wiki/
Description	Forensic-Ready Analysis Suite (FREAS) provides support in designing forensic-ready software. It is composed of two components. First, a graphical editor for creating system models in BPMN4FRSS notation. Second, an analyser utilising Z3 solver for satisfiability checking of formulas derived from the models. The analysis focuses on the models' validity, provides targeted hints to enhance forensic readiness capabilities, and allows for what-if analysis of potential evidence quality.
Related projects:	Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23 Aplikovaný výzkum na FI: Bezpečnost počítačových systémů, softwarových architektur kritických infrastruktur s forenzními aspekty, zpracování dat pokročilých sensorů a algoritmy plánování v dopravě a logistice