Towards a Formalization of Digital Forensics.

Jill Slay Yi-Chi Lin Benjamin P. Turnbull Jason Beckett Paul Lin

Published in: IFIP Int. Conf. Digital Forensics (2009)

Keyphrases

digital forensics
forensic analysis
law enforcement
formal model
knowledge representation
authorship attribution
computer forensics
operational semantics
databases
health sciences
database
data sets
formal analysis
logical language
forensic science