Tye Stallard, Karl N. Levitt. Automated Analysis for Digital Forensic Science: Semantic Integrity Checking. In 19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA. pages 160-169, IEEE Computer Society, 2003. [doi]
Abstract is missing.