Other formats:
BibTeX
LaTeX
RIS
@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.
|