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

Autor:	Gimeno Balaguer, Adrián
Jazyk:	Spanish; Castilian
Rok vydání:	2019
Předmět:	Hierarchical tree Protocolo JSON Maude-NPA Árbol jerárquico Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari LENGUAJES Y SISTEMAS INFORMATICOS User interface Interfaz de usuario
Zdroj:	RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia instname
Popis:	[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).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4db3d508cb9ee21a8f76fa09a4dff5e https://hdl.handle.net/10251/129854 Zobrazit plný text záznamu