Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract).

Marie-Jeanne Toussaint

Published in: ASIACRYPT (1991)

Keyphrases

extended abstract
formal verification
cryptographic protocols
model checking
security properties
bounded model checking
model checker
automated verification
symbolic model checking
similarity measure
data streams
high dimensional
temporal logic
standard model