- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

Gimeno Balaguer, A. (2019). Mejoras en la interacción con la herramienta Maude-NPA. http://hdl.handle.net/10251/129854

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/129854

Files in this item

Item Metadata

Title: Mejoras en la interacción con la herramienta Maude-NPA
Author:
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2019-09-26
Issued date:
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 ...[+]


[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 ...[+]
Subjects: Maude-NPA , Protocolo , JSON , Interfaz de usuario , Árbol jerárquico , User interface , Hierarchical tree
Copyrigths: Cerrado
degree: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record