Analysis of Evidence Using Formal Event Reconstruction

Autor:	James, Joshua I., Gladyshev, Pavel, Abdullah, Mohd Taufik, Zhu, Yuandong
Rok vydání:	2013
Předmět:	Computer Science - Formal Languages and Automata Theory Computer Science - Cryptography and Security
Zdroj:	James, J.I., P. Gladyshev, M. Abdullah, Y. Zhu (2010) "Analysis of Evidence Using Formal Event Reconstruction". Digital Forensics and Cyber Crime. Vol 31. pp 85-98. Springer
Druh dokumentu:	Working Paper
DOI:	10.1007/978-3-642-11534-9_9
Popis:	This paper expands upon the finite state machine approach for the formal analysis of digital evidence. The proposed method may be used to support the feasibility of a given statement by testing it against a relevant system model. To achieve this, a novel method for modeling the system and evidential statements is given. The method is then examined in a case study example. Comment: 10 pages, 11 figures, Presented at the 1st International Conference on Digital Forensics & Cyber Crime
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1302.2308 Zobrazit plný text záznamu View this record from Arxiv