Login / Signup
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