The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...

[ES] El desarrollo de este proyecto tiene como objetivo la elaboración una Interfaz Gráfica para la herramienta Maude-NPA. Maude-NPA es una herramienta que permite el análisis de protocolos criptográficos y que ha sido ...

[ES] En el presente proyecto se estudiarán, explicarán y aplicarán las nuevas posibilidades que nos proporciona la introducción de mejoras en la herramienta de verificación de protocolos MaudeNPA. Estas mejoras nos ...