Composition of password-based protocols.

Céline Chevalier Stéphanie Delaune Steve Kremer Mark Dermot Ryan

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

key exchange
authentication protocol
key exchange protocol
security analysis
user authentication
smart card
web service composition
web services composition
security protocols
key distribution
security properties
diffie hellman
public key
communication protocols