FREAS: Forensic-Ready Analysis Suite

• 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