FREAS: Forensic-Ready Analysis Suite

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	DAUBNER Lukáš MAKSOVIĆ Sofija SEDLÁČEK Tomáš
Rok publikování	2024
Druh	Software
Fakulta / Pracoviště MU	Fakulta informatiky
www	https://freas-tools.github.io/wiki/
Popis	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.
Související projekty:	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