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

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2024
Druh Článek ve sborníku
Konference International Conference on Research Challenges in Information Science (RCIS 2024)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://doi.org/10.1007/978-3-031-59468-7_6
Doi http://dx.doi.org/10.1007/978-3-031-59468-7_6
Klíčová slova Forensic Readiness;Forensic-by-Design;Forensic-Ready Software Systems;Z3 Solver;BPMN;Modelling
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info