Joshua James, Pavel Gladyshev, Mohd Taufik Abdullah, Yuandong Zhu. Analysis of Evidence Using Formal Event Reconstruction. In Sanjay Goel, editor, Digital Forensics and Cyber Crime - First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers. Volume 31 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 85-98, Springer, 2009. [doi]
Abstract is missing.