Towards verifiable evidence generation in forensic-ready
systems

D 2020

Towards verifiable evidence generation in forensic-ready systems

DAUBNER, Lukáš, Martin MACÁK, Barbora BÜHNOVÁ and Tomáš PITNER

Basic information

Original name

Towards verifiable evidence generation in forensic-ready systems

Authors

DAUBNER, Lukáš (203 Czech Republic, belonging to the institution), Martin MACÁK (703 Slovakia, belonging to the institution), Barbora BÜHNOVÁ (203 Czech Republic, belonging to the institution) and Tomáš PITNER (203 Czech Republic, belonging to the institution)

Edition

Atlanta, United States, 2020 IEEE International Conference on Big Data (Big Data), p. 2264-2269, 6 pp. 2020

Publisher

IEEE

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10200 1.2 Computer and information sciences

Country of publisher

United States of America

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

RIV identification code

RIV/00216224:14330/20:00117852

Organization unit

Faculty of Informatics

ISBN

978-1-7281-6251-5

DOI

http://dx.doi.org/10.1109/BigData50022.2020.9378035

UT WoS

000662554702049

Keywords in English

Forensic Readiness; Verification; Software Development; Forensic by Design; Digital Evidence

Abstract

V originále

With the increasing threat of cybercrime, there is also an increasing need for the forensic investigation of those crimes. However, the topic of systematic preparation on the possible forensic investigation during the software development, called forensic readiness, has only been explored since recently. Thus, there are still many challenges and open issues. One of the obstacles is ensuring the correct implementation. Moreover, the growing volume and variety of digital evidence produced by the systems have to be put into consideration. It is especially important in the critical information infrastructure domain where potential cyberattacks could impact the safety of people. In this paper, we present research towards verification of forensic readiness in software development, with a focus on digital evidence they produce, to assist the advancement of this research domain. Furthermore, we formulate a process that serves a template for designing, developing, and refining a verification method for forensic-ready software systems.

Links

CZ.02.1.01/0.0/0.0/16_019/0000822, interní kód MU
(CEP code: EF16_019/0000822)

Name: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur (Acronym: C4e)

Investor: Ministry of Education, Youth and Sports of the CR, CyberSecurity, CyberCrime and Critical Information Infrastructures Center of Excellence, Priority axis 1: Strengthening capacities for high-quality research

EF16_019/0000822, research and development project

Name: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur

Citovat

DAUBNER, Lukáš, Martin MACÁK, Barbora BÜHNOVÁ and Tomáš PITNER. Towards verifiable evidence generation in forensic-ready systems. Online. In 2020 IEEE International Conference on Big Data (Big Data). Atlanta, United States: IEEE, 2020, p. 2264-2269. ISBN 978-1-7281-6251-5. Available from: https://dx.doi.org/10.1109/BigData50022.2020.9378035.

@inproceedings{1729928,
   author = {Daubner, Lukáš and Macák, Martin and Bühnová, Barbora and Pitner, Tomáš},
   address = {Atlanta, United States},
   booktitle = {2020 IEEE International Conference on Big Data (Big Data)},
   doi = {http://dx.doi.org/10.1109/BigData50022.2020.9378035},
   keywords = {Forensic Readiness; Verification; Software Development; Forensic by Design; Digital Evidence},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Atlanta, United States},
   isbn = {978-1-7281-6251-5},
   pages = {2264-2269},
   publisher = {IEEE},
   title = {Towards verifiable evidence generation in forensic-ready systems},
   year = {2020}
}

TY  - JOUR
ID  - 1729928
AU  - Daubner, Lukáš - Macák, Martin - Bühnová, Barbora - Pitner, Tomáš
PY  - 2020
TI  - Towards verifiable evidence generation in forensic-ready systems
PB  - IEEE
CY  - Atlanta, United States
SN  - 9781728162515
KW  - Forensic Readiness
KW  - Verification
KW  - Software Development
KW  - Forensic by Design
KW  - Digital Evidence
N2  - With the increasing threat of cybercrime, there is also an increasing need for the forensic investigation of those crimes. However, the topic of systematic preparation on the possible forensic investigation during the software development, called forensic readiness, has only been explored since recently. Thus, there are still many challenges and open issues. One of the obstacles is ensuring the correct implementation. Moreover, the growing volume and variety of digital evidence produced by the systems have to be put into consideration. It is especially important in the critical information infrastructure domain where potential cyberattacks could impact the safety of people. In this paper, we present research towards verification of forensic readiness in software development, with a focus on digital evidence they produce, to assist the advancement of this research domain. Furthermore, we formulate a process that serves a template for designing, developing, and refining a verification method for forensic-ready software systems.
ER  -

DAUBNER, Lukáš, Martin MACÁK, Barbora BÜHNOVÁ and Tomáš PITNER. Towards verifiable evidence generation in forensic-ready systems. Online. In \textit{2020 IEEE International Conference on Big Data (Big Data)}. Atlanta, United States: IEEE, 2020, p.~2264-2269. ISBN~978-1-7281-6251-5. Available from: https://dx.doi.org/10.1109/BigData50022.2020.9378035.

Detailed Information on Publication Record