Type-Based Automated Verification of Authenticity in Cryptographic Protocols.

Daisuke Kikuchi Naoki Kobayashi

Published in: ESOP (2009)

Keyphrases

cryptographic protocols
automated verification
formal verification
model checking
automated reasoning
standard model
database
low cost
network security