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

[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 Valen...

Descripción completa

Detalles Bibliográficos
Autor: Gimeno Balaguer, Adrián
Tipo de recurso: tesis de maestría
Fecha de publicación:2019
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:español
OAI Identifier:oai:riunet.upv.es:10251/129854
Acceso en línea:https://riunet.upv.es/handle/10251/129854
Access Level:acceso abierto
Palabra clave:Maude-NPA
Protocolo
JSON
Interfaz de usuario
Árbol jerárquico
User interface
Hierarchical tree
LENGUAJES Y SISTEMAS INFORMATICOS
Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
id ES_d4db3d508cb9ee21a8f76fa09a4dff5e
oai_identifier_str oai:riunet.upv.es:10251/129854
network_acronym_str ES
network_name_str España
repository_id_str
spelling Mejoras en la interacción con la herramienta Maude-NPAGimeno Balaguer, AdriánMaude-NPAProtocoloJSONInterfaz de usuarioÁrbol jerárquicoUser interfaceHierarchical treeLENGUAJES Y SISTEMAS INFORMATICOSMáster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari[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).Universitat Politècnica de ValènciaEscobar Román, SantiagoDepartamento de Sistemas Informáticos y ComputaciónEscuela Técnica Superior de Ingeniería InformáticaInstituto Universitario Valenciano de Investigación en Inteligencia ArtificialRepositorio Institucional de la Universitat Politècnica de València Riunet20192019-10-2820192019-09-26master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://riunet.upv.es/handle/10251/129854reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Reserva de todos los derechoshttp://rightsstatements.org/vocab/InC/1.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/1298542026-06-13T07:49:27Z
dc.title.none.fl_str_mv Mejoras en la interacción con la herramienta Maude-NPA
title Mejoras en la interacción con la herramienta Maude-NPA
spellingShingle Mejoras en la interacción con la herramienta Maude-NPA
Gimeno Balaguer, Adrián
Maude-NPA
Protocolo
JSON
Interfaz de usuario
Árbol jerárquico
User interface
Hierarchical tree
LENGUAJES Y SISTEMAS INFORMATICOS
Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
title_short Mejoras en la interacción con la herramienta Maude-NPA
title_full Mejoras en la interacción con la herramienta Maude-NPA
title_fullStr Mejoras en la interacción con la herramienta Maude-NPA
title_full_unstemmed Mejoras en la interacción con la herramienta Maude-NPA
title_sort Mejoras en la interacción con la herramienta Maude-NPA
dc.creator.none.fl_str_mv Gimeno Balaguer, Adrián
author Gimeno Balaguer, Adrián
author_facet Gimeno Balaguer, Adrián
author_role author
dc.contributor.none.fl_str_mv Escobar Román, Santiago
Departamento de Sistemas Informáticos y Computación
Escuela Técnica Superior de Ingeniería Informática
Instituto Universitario Valenciano de Investigación en Inteligencia Artificial
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Maude-NPA
Protocolo
JSON
Interfaz de usuario
Árbol jerárquico
User interface
Hierarchical tree
LENGUAJES Y SISTEMAS INFORMATICOS
Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
topic Maude-NPA
Protocolo
JSON
Interfaz de usuario
Árbol jerárquico
User interface
Hierarchical tree
LENGUAJES Y SISTEMAS INFORMATICOS
Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
description [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.).
publishDate 2019
dc.date.none.fl_str_mv 2019
2019-10-28
2019
2019-09-26
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/129854
url https://riunet.upv.es/handle/10251/129854
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de València
publisher.none.fl_str_mv Universitat Politècnica de València
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420583033241600
score 15.811543

Similares en LA Referencia