FORMAL VERIFICATION OF THE SECURE SOCKETS LAYER PROTOCOL | Publicación