- -

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

Aparicio Sánchez, D. (2017). Mejoras en la interacción con la herramienta Maude-NPA. http://hdl.handle.net/10251/90079

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

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:
2017-09-29
Issued date:
Abstract:
[EN] The security in modern online services is increasingly more and more vulnerable to intruder attacks. Companies like Yubiko works on devices like Yubikey, a USB device that provides strong identification. In this ...[+]


El desarrollo de este proyecto final de carrera tiene como objetivo mejorar los mecanismos de interacción con la herramienta Maude-NPA, ya sea mejorando la interfaz gráfica o el formato de entrada o los comandos asociados. ...[+]
Subjects: Seguridad , Verificación , Protocolos de comunicaciones
Copyrigths: Reconocimiento - No comercial (by-nc)
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