Automatic verification of the TLS handshake protocol (0)

by G DÍAZ, F CUARTERO, V VALERO, F PELAYO
Venue:In Proceedings of the 2004 ACM Symposium on Applied Computing (2004), SAC ’04, ACM