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

[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 thesis, we have specified and analyzed the cryptographic protocol underneath the Yu...

ver descrição completa

Detalhes bibliográficos
Autor: Aparicio Sánchez, Damián
Formato: tesis de maestría
Fecha de publicación:2017
País:España
Recursos: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/90079
Acesso em linha:https://riunet.upv.es/handle/10251/90079
Access Level:acceso abierto
Palavra-chave:Seguridad
Verificación
Protocolos de comunicaciones
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_e3e7c4db4ad2a4f5e7e7bdd3e4460032
oai_identifier_str oai:riunet.upv.es:10251/90079
network_acronym_str ES
network_name_str España
repository_id_str
spelling Mejoras en la interacción con la herramienta Maude-NPAAparicio Sánchez, DamiánSeguridadVerificaciónProtocolos de comunicacionesLENGUAJES Y SISTEMAS INFORMATICOSMáster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari[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 thesis, we have specified and analyzed the cryptographic protocol underneath the Yubikey device using the Maude-NPA tool, a state-of-the-art cryptographic protocol analyzer. During this thesis, we learned how the Yubikey protocol works, we learn how to use the Tamarin proper, another protocol analyzer, and how to specify and analysis this protocol using the Maude-NPA features.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 Riunet20172017-10-2620172017-09-29master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://riunet.upv.es/handle/10251/90079reponame: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_abf2Reconocimiento - No comercial (by-nc) http://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/900792026-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
Aparicio Sánchez, Damián
Seguridad
Verificación
Protocolos de comunicaciones
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 Aparicio Sánchez, Damián
author Aparicio Sánchez, Damián
author_facet Aparicio Sánchez, Damiá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 Seguridad
Verificación
Protocolos de comunicaciones
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 Seguridad
Verificación
Protocolos de comunicaciones
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 [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 thesis, we have specified and analyzed the cryptographic protocol underneath the Yubikey device using the Maude-NPA tool, a state-of-the-art cryptographic protocol analyzer. During this thesis, we learned how the Yubikey protocol works, we learn how to use the Tamarin proper, another protocol analyzer, and how to specify and analysis this protocol using the Maude-NPA features.
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-10-26
2017
2017-09-29
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/90079
url https://riunet.upv.es/handle/10251/90079
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
Reconocimiento - No comercial (by-nc)
http://creativecommons.org/licenses/by-nc/4.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
Reconocimiento - No comercial (by-nc)
http://creativecommons.org/licenses/by-nc/4.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_ 1869422543897624576
score 15.301603

Registos relacionados