- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

[Cerrado]
Nombre: Gimeno - Mejoras ...
Tamaño: 1.100Mb
Formato: PDF
Solicitar una copia al autor
dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author Gimeno Balaguer, Adrián es_ES
dc.date.accessioned 2019-10-28T13:06:56Z
dc.date.available 2019-10-28T13:06:56Z
dc.date.created 2019-09-26
dc.date.issued 2019-10-28 es_ES
dc.identifier.uri http://hdl.handle.net/10251/129854
dc.description.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.). es_ES
dc.description.abstract [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). es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Maude-NPA es_ES
dc.subject Protocolo es_ES
dc.subject JSON es_ES
dc.subject Interfaz de usuario es_ES
dc.subject Árbol jerárquico es_ES
dc.subject User interface es_ES
dc.subject Hierarchical tree es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari es_ES
dc.title Mejoras en la interacción con la herramienta Maude-NPA es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Gimeno Balaguer, A. (2019). Mejoras en la interacción con la herramienta Maude-NPA. http://hdl.handle.net/10251/129854 es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\98608 es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem