Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.

Michael Backes Birgit Pfitzmann Michael Waidner

Published in: ESORICS (2006)

Keyphrases

probabilistic model
bayesian framework
artificial intelligence
parameter estimation
experimental data
statistical methods
databases
neural network
real world
learning algorithm
statistical model
statistical models