A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence.

Eduardo Mazza Marie-Laure Potet Daniel Le Métayer

Published in: SBMF (2010)

Keyphrases

main contribution
conceptual framework
mathematical theory
database
probabilistic model
formal model
databases
real world
genetic algorithm
image processing
case study
image segmentation
search algorithm
empirical evidence
log data