FREAS: Forensic-Ready Analysis Suite

• 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