Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.

Tye Stallard, Karl N. Levitt

Browse the full ACSAC paper archive.