Login / Signup
Modelling and verifying key-exchange protocols using CSP and FDR.
A. W. Roscoe
Published in:
CSFW (1995)
Keyphrases
</>
key exchange
security analysis
constraint satisfaction problems
diffie hellman
digital signature
key distribution
smart card
secure communication
password based authenticated key exchange
key exchange protocol