Computationally Sound Compositional Logic for Key Exchange Protocols.

Anupam Datta Ante Derek John C. Mitchell Bogdan Warinschi

Published in: CSFW (2006)

Keyphrases

key exchange
security analysis
diffie hellman
key distribution
digital signature
secure communication
key exchange protocol
password based authenticated key exchange