A Formal Approach to Analyzing Cyber-Forensics Evidence.

Erisa Karafili Matteo Cristani Luca Viganò

Published in: CoRR (2018)

Keyphrases

crime investigation
machine learning
formal methods
document analysis
formal representation
dempster shafer theory
cyber crime
neural network
decision making
image processing
formal analysis