Automatic verification of the TLS handshake protocol.

Gregorio Díaz Fernando Cuartero Valentín Valero Ruiz Fernando L. Pelayo

Published in: SAC (2004)

Keyphrases

lightweight
security analysis
security protocols
network protocols
formal analysis
cryptographic protocols
database
multi party
tcp ip
group communication
file transfer
voting protocols
coloured petri nets