Login / Signup

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

Slim RekhisNoureddine 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