Assurance of Forensic-Ready Software Systems

Mgr. Lukáš Daubner

Advanced ('rigorózní') thesis

Abstract:

Digitální forenzní věda se využívá, když je potřeba vyšetřit incident, často s podezřením na kriminální činnost. Tato vyšetřování jsou ale velice pracná. Jde o časově náročné procesy s přísnými požadavky, které vyžadují jemnou práci. Nedávno vznikla myšlenka pomoci případnému vyšetřování už během procesu vývoje softwaru, což dalo za vznik pojmu forenzně-připravené softwarové systémy. Problémem v této oblasti je spousta nevyřešených témat a chybějících metod a instrukcí, které by pomohly softwarovým inženýrům při vytváření forenzně-připravených softwarových systémů. Tato práce se zaměřuje na vyplnění mezery v technikách softwarového inženýrství zaměřených na forenzně-připravené softwarové systémy vytvořením validační a verifikační metody. Důraz je zde dán na požadavky dostupnosti potenciálních digitálních důkazů a správnou manipulaci s nimi. Pro tento účel je poskytnut přehled současného stavu, spolu s popisem výzkumu pro zajištění správných forenzně-připravených softwarových systémů. Cílem je vytvořit reprezentace pro forenzně-připravené vlastnosti, formulovat validační instrukce pro tyto vlastnosti a využít formulovaných reprezentací jako referenční model pro verifikaci. V neposlední řadě je při vyhodnocovaní metody naplánováno prozkoumat dopad forenzní-připravenosti na výkon, soukromí a cenu implementace.

Abstract:

Digital forensics is employed whenever there is a need to investigate an incident, often criminal in nature. However, these investigations are laborious, time-consuming, and delicate processes, with strict requirements on them. Recently, an idea of easing the investigations during the software development process has been formulated, coining the term forensic-ready software systems. However, there are still many open issues, missing methods and guidelines that would aid software engineers in the task of creating the forensic-ready software systems. This work is focusing on filling the gap in the software engineering practices involving forensic-ready software by creating the validation and verification method. Specifically, the emphasis is on the requirements for the availability of potential digital evidence and sound potential evidence handling. To this end, an overview of the state of the art is provided, together with the description of research towards the assurance of forensic-ready software systems. The goal is to represent the forensic-ready properties, formulate validation guidelines for these properties, and utilize the formulated representation as a reference model for verification. Moreover, the assurance method evaluations are planned to include an assessment of the impact of forensic-ready concerns on performance, privacy, and the cost of implementation.

Keywords

Forensic-Ready Software Systems, Software Engineering, Digital Evidence, Forensic Readiness, Validation, Verification

Language used: English

Date on which the thesis was submitted / produced: 9. 3. 2021

Thesis defence

• Date of defence: 11. 6. 2021
• Reader: doc. Ing. Pavel Čeleda, Ph.D., doc. RNDr. Pavel Smrž, Ph.D.

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / field:
Computer systems, communication and security / Computer systems, communication and security