A formal model for event reconstruction in digital forensic investigation.

Somayeh Soltani Seyed-Amin Hosseini-Seno

Published in: Digit. Investig. (2019)

Keyphrases

formal model
digital forensics
computer forensics
forensic analysis
law enforcement
event detection
formal models
three dimensional
discrete tomography
security patterns
high resolution
image reconstruction
predicate calculus
reconstruction method
case based reasoning
security properties