On the relationships between models in protocol verification.

Sebastian Mödersheim

Published in: Inf. Comput. (2008)

Keyphrases

probabilistic model
formal analysis
parameter estimation
classification models
database
data sets
genetic algorithm
information systems
web services
lightweight
statistical models
security analysis