Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{2391138,
author = {Daubner, Lukáš and Maksović, Sofija and Matulevičius, Raimundas and Bühnová, Barbora and Sedláček, Tomáš},
address = {Neuveden},
booktitle = {International Conference on Research Challenges in Information Science (RCIS 2024)},
doi = {http://dx.doi.org/10.1007/978-3-031-59468-7_6},
keywords = {Forensic Readiness;Forensic-by-Design;Forensic-Ready Software Systems;Z3 Solver;BPMN;Modelling},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
isbn = {978-3-031-59467-0},
pages = {47–55},
publisher = {Springer},
title = {Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design},
url = {https://doi.org/10.1007/978-3-031-59468-7_6},
year = {2024}
}
TY - JOUR
ID - 2391138
AU - Daubner, Lukáš - Maksović, Sofija - Matulevičius, Raimundas - Bühnová, Barbora - Sedláček, Tomáš
PY - 2024
TI - Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design
PB - Springer
CY - Neuveden
SN - 9783031594670
KW - Forensic Readiness;Forensic-by-Design;Forensic-Ready Software Systems;Z3 Solver;BPMN;Modelling
UR - https://doi.org/10.1007/978-3-031-59468-7_6
N2 - 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.
ER -
DAUBNER, Lukáš, Sofija MAKSOVI$\backslash$'C, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ a Tomáš SEDLÁČEK. Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design. Online. In \textit{International Conference on Research Challenges in Information Science (RCIS 2024)}. Neuveden: Springer, 2024, s.~47–55. ISBN~978-3-031-59467-0. Dostupné z: https://dx.doi.org/10.1007/978-3-031-59468-7\_{}6.
|
