A Hierarchical Visibility theory for formal digital investigation of anti-forensic attacks.

Slim Rekhis Noureddine Boudriga

Published in: Comput. Secur. (2012)

Keyphrases

digital forensics
forensic analysis
formal methods
formal model
countermeasures
computer forensics
mathematical theory
law enforcement
formal models
neural network
web services
computational model
security mechanisms
security protocols
traffic analysis
malicious attacks