Formalizing Computer Forensic Analysis: A Proof-Based Methodology