Login / Signup
Towards computationally sound symbolic analysis of key exchange protocols.
Prateek Gupta
Vitaly Shmatikov
Published in:
IACR Cryptol. ePrint Arch. (2005)
Keyphrases
</>
key exchange
security analysis
fault tolerance