Towards verifiable evidence generation in forensic-ready systems

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.

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

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10200 1.2 Computer and information sciences
• Country of publisher: United States of America
• Confidentiality degree: is not subject to a state or trade secret
• 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
• Tags: International impact, Reviewed

Abstract

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