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

被引：0
|
作者：
Daubner, Lukas [1 ]
Maksovic, Sofija [1 ]
Matulevicius, Raimundas [2 ]
Buhnova, Barbora [1 ]
Sedlacek, Tomas [1 ]
机构：
[1] Masaryk Univ, Brno, Czech Republic
[2] Univ Tartu, Tartu, Estonia
来源：
RESEARCH CHALLENGES IN INFORMATION SCIENCE, PT II, RCIS 2024 | 2024年 / 514卷
关键词：
Forensic Readiness; Forensic-by-Design; Forensic-Ready Software Systems; Z3; Solver; BPMN; Modelling;
D O I：
10.1007/978-3-031-59468-7_6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：47 / 55
页数：9
相关论文
共 37 条
  • [21] Design and Implementation of FORE Toolkit CLEyber Forensic Tool for the Eucalyptus Software as a Service Cloud Model
    Srivastava, Asish
    Gupta, Amitesh Kumar
    Goyal, Tinesh Kumar
    Saxena, Piyush
    2014 6TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS, 2014, : 546 - 550
  • [22] A software tool for design of process monitoring and analysis systems
    Singh, Ravendra
    Gernaey, Krist V.
    Gani, Rafiqul
    19TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2009, 26 : 321 - 326
  • [23] Tool suite to support Model Based Systems Engineering-enabled System-of-Systems analysis
    Guariniello, Cesare
    Fang, Zhemei
    Davendralingam, Navindran
    Marais, Karen
    DeLaurentis, Daniel
    2018 IEEE AEROSPACE CONFERENCE, 2018,
  • [24] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [25] CAOS SUITE: A software tool for the analysis and simulation of chaotic Dynamical Systems. From chaos to hyperchaos
    Mareca, Pilar
    Bordel, Borja
    2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2016,
  • [26] DISTRIBUTED SYSTEMS-DESIGN - AN INTEGRATED SOFTWARE TOOL FOR PERFORMANCE ANALYSIS
    FEUGA, M
    RAYNAUD, Y
    MODELING TECHNIQUES AND TOOLS FOR COMPUTER PERFORMANCE EVALUATION, 1989, : 41 - 55
  • [27] Design and development of software configuration management tool to support process performance monitoring and analysis
    Cline, Alan
    Lee, Eun-Pyo
    Lee, Byong-Gul
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 1123 - +
  • [28] Software Tool EPOS to Support the Design and Maintenance Engineering Activities for Industrial Automation Systems.
    Biewald, J.
    Goehner, P.
    Lauber, R.
    Schelling, H.
    Regelungstechnik RT, 1980, 28 (01): : 11 - 15
  • [29] AI as a decision support tool in forensic image analysis: A pilot study on integrating large language models into crime scene investigation workflows
    Farber, Shai
    JOURNAL OF FORENSIC SCIENCES, 2025,
  • [30] Analysis, Design and Operation of Energy Systems with Software SW tool used for simulation of energy systems including railways
    Ruiz Flores, Luis Ivan
    Carrillo Lugo, Abigail De la Luz
    2023 12TH INTERNATIONAL CONFERENCE ON SOFTWARE PROCESS IMPROVEMENT, CIMPS 2023, 2023, : 264 - 268
1234