Login / Signup
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
Massimo Benerecetti
Maurizio Panti
Luca Spalazzi
Simone Tacconi
Published in:
SAFECOMP (2002)
Keyphrases
</>
computational model
model checking
model checker
parameter estimation
probability distribution
probabilistic model
mathematical model
statistical model
conceptual model
similarity measure
multi agent
management system
experimental data
formal model
cryptographic protocols