Automatic verification of the TLS handshake protocol | Publicación