Changwei Liu, Anoop Singhal, Duminda Wijesekera. A Logic-Based Network Forensic Model for Evidence Analysis. In Gilbert L. Peterson, Sujeet Shenoi, editors, Advances in Digital Forensics XI - 11th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 26-28, 2015, Revised Selected Papers. Volume 462 of IFIP Advances in Information and Communication Technology, pages 129-145, Springer, 2015. [doi]