[ES] El objetivo de este trabajo fin de máster consiste en diseñar un nuevo protocolo de autenticación en colaboración con una empresa de la comunidad valenciana y realizar el modelado y verificación de propiedades de ...