Forensic analysis of logs: Modeling and verification.

Mohamed Saleh Ali Reza Arasteh Assaad Sakha Mourad Debbabi

Published in: Knowl. Based Syst. (2007)

Keyphrases

forensic analysis
database systems
image sequences
model checking
flow analysis
colored petri nets