Finite Models in FOL-Based Crypto-Protocol Verification.

Jan Jürjens Tjark Weber

Published in: ARSPA-WITS (2009)

Keyphrases

probabilistic model
cryptographic protocols
parameter estimation
statistical models
formal analysis
machine learning
digital libraries
low cost
model selection
lightweight
experimental data