A System for Formal Digital Forensic Investigation Aware of Anti-Forensic Attacks.

Slim Rekhis Noureddine Boudriga

Published in: IEEE Trans. Inf. Forensics Secur. (2012)

Keyphrases

digital forensics
forensic analysis
computer forensics
countermeasures
law enforcement
forensic science
formal methods
security protocols
security risks
malicious attacks
formal specification
computer security