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. © Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 2010.
CITATION STYLE
James, J., Gladyshev, P., Abdullah, M. T., & Zhu, Y. (2010). Analysis of evidence using formal event reconstruction. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (Vol. 31 LNICST, pp. 85–98). https://doi.org/10.1007/978-3-642-11534-9_9
Mendeley helps you to discover research relevant for your work.