Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2.

Published in: ESORICS (2011)

Keyphrases

formal analysis
key exchange
security analysis
diffie hellman
digital signature
agent model
key distribution
computer networks
public key
key management
ban logic