Login / Signup
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol.
Cas J. F. Cremers
Published in:
Int. J. Appl. Cryptogr. (2010)
Keyphrases
</>
automatic analysis
authentication protocol
key exchange protocol
denial of service attacks
lightweight
attack scenarios
manual annotation
communication protocol
vessel tree
security analysis
tcp ip
body movements
session initiation protocol
search engine
network protocols
key distribution
public key
smart card