Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.

Michael Backes Birgit Pfitzmann Michael Waidner

Published in: IACR Cryptol. ePrint Arch. (2006)

Keyphrases

databases
probabilistic model
statistical model
database
real time
learning algorithm
case study
dimensionality reduction
statistical models
autoregressive
reactive systems