A Probabilistic Poly-Time Framework for Protocol Analysis.

Patrick Lincoln John C. Mitchell Mark Mitchell Andre Scedrov

Published in: CCS (1998)

Keyphrases

probabilistic model
statistical analysis
main contribution
information theoretic
formal analysis
complexity analysis
lightweight
probabilistic approaches
temporal context
conceptual framework
theoretical framework
database
generative model
graphical models
bayesian networks
case study
neural network
real time