Login / Signup
Towards computationally sound symbolic analysis of key exchange protocols.
Prateek Gupta
Vitaly Shmatikov
Published in:
FMSE (2005)
Keyphrases
</>
key exchange
information systems
wireless networks
cryptographic protocols