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] Maude-NPA es una herramienta de verificación de protocolos
criptográficos desarrollada por la University of Illinois at Urbana-
Champaign (EE.UU.), el Navy Research Laboratory en Washington D.C.
(EE.UU.) y la ...
[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 ...
[EN] Escobar of the Universitat Politècnica de València in collaboration with José Meseguer (University of
Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Lab, Washington, DC,
USA). We focus on ...
[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 ...