A cross-protocol attack on the TLS protocol.

Nikos Mavrogiannopoulos Frederik Vercauteren Vesselin Velichkov Bart Preneel

Published in: CCS (2012)

Keyphrases

authentication protocol
key exchange protocol
lightweight
security protocols
application layer
cryptographic protocols
file transfer
coloured petri nets
database systems
formal analysis
security model
tcp ip