Mejoras en la interacción con la herramienta Maude-NPA

Abstract

[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 realizada por el profesor Santiago Escobar de la Universidad Politécnica de Valencia en colaboración con el profesor José Meseguer (Universidad de Illinois en Urbana-Champaign, EE.UU.) y la profesora Catherine Meadows (Marina de los Estados Unidos, Washington, D.C, EE.UU.).

[EN] The development of this project is aimed at developing a Graphic Interface for the Maude-NPA tool. Maude-NPA is a tool that allows the analysis of cryptographic protocols and has been carried out by Professor Santiago Escobar of the Polytechnic University of Valencia in collaboration with Professor José Meseguer (University of Illinois at Urbana-Champaign, USA) and Professor Catherine Meadows (United States Navy, Washington, DC, USA).