Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10200 - Computer and information sciences
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
International Conference on Research Challenges in Information Science (RCIS 2024)
ISBN
9783031594670
ISSN
1865-1348
e-ISSN
—
Number of pages
9
Pages from-to
47-55
Publisher name
Springer
Place of publication
Neuveden
Event location
Guimarães, Portugal
Event date
Jan 1, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001267235100006