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Á a Tomáš PITNER

Základní údaje

Originální název

Towards verifiable evidence generation in forensic-ready systems

Autoři

DAUBNER, Lukáš (203 Česká republika, domácí), Martin MACÁK (703 Slovensko, domácí), Barbora BÜHNOVÁ (203 Česká republika, domácí) a Tomáš PITNER (203 Česká republika, domácí)

Vydání

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

Nakladatel

IEEE

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Spojené státy

Utajení

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

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/20:00117852

Organizační jednotka

Fakulta informatiky

ISBN

978-1-7281-6251-5

DOI

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

UT WoS

000662554702049

Klíčová slova anglicky

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

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 14. 5. 2021 07:03, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

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

Název: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur (Akronym: C4e)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur, PO 1 Posilování kapacit pro kvalitní výzkum

EF16_019/0000822, projekt VaV

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

Citovat

DAUBNER, Lukáš, Martin MACÁK, Barbora BÜHNOVÁ a 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, s. 2264-2269. ISBN 978-1-7281-6251-5. Dostupné z: 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Á a 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, s.~2264-2269. ISBN~978-1-7281-6251-5. Dostupné z: https://dx.doi.org/10.1109/BigData50022.2020.9378035.

Podrobný výpis o publikaci