studied the digital forensic investigation techniques of anti-forensic attacks and then characterized secure evidence, provable and non-provable attacks. As the main contribution of this research, the authors developed an anti-forensic attack aware forensic approach using a state-based logic.