Finite models for formal security proofs.

Jean Goubault-Larrecq

Published in: J. Comput. Secur. (2010)

Keyphrases

probabilistic model
intrusion detection
parameter estimation
statistical models
data sets
machine learning
social networks
case study
model selection
finite number
security issues
security mechanisms