Login / Signup
Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange).
Ran Canetti
Jonathan Herzog
Published in:
IACR Cryptol. ePrint Arch. (2004)
Keyphrases
</>
key exchange
security analysis
cryptographic protocols
mutual authentication
authentication protocol
security properties
security protocols
real time
peer to peer
lightweight
encryption scheme
standard model