A Temporal Logic-Based Model for Forensic Investigation in Networked System Security.

Slim Rekhis Noureddine Boudriga

Published in: MMM-ACNS (2005)

Keyphrases

computational model
high level
spatio temporal
theoretical analysis
probability distribution
statistical model
neural network
bayesian networks
probabilistic model
management system
security model
multimedia
knowledge representation
formal model
temporal constraints