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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F24%3A00135764" target="_blank" >RIV/00216224:14330/24:00135764 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-031-59468-7_6" target="_blank" >https://doi.org/10.1007/978-3-031-59468-7_6</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-59468-7_6" target="_blank" >10.1007/978-3-031-59468-7_6</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

International Conference on Research Challenges in Information Science (RCIS 2024)

ISBN

9783031594670

ISSN

1865-1348

e-ISSN

—

Počet stran výsledku

9

Strana od-do

47-55

Název nakladatele

Springer

Místo vydání

Neuveden

Místo konání akce

Guimarães, Portugal

Datum konání akce

1. 1. 2024

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001267235100006