Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.

Morten Dahl Naoki Kobayashi Yunde Sun Hans Hüttel

Published in: ATVA (2011)

Keyphrases

cryptographic protocols
automated verification
formal verification
model checking
automated reasoning
standard model
database
lightweight
constraint satisfaction
real time
encryption decryption