- -

Verificación automática de protocolos criptográficos de seguridad

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

Compartir/Enviar a

Citas

Estadísticas

Verificación automática de protocolos criptográficos de seguridad

Mostrar el registro completo del ítem

Rondo Van Ysseldyk, NR. (2016). Verificación automática de protocolos criptográficos de seguridad. http://hdl.handle.net/10251/71279.

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

Ficheros en el ítem

Metadatos del ítem

Título: Verificación automática de protocolos criptográficos de seguridad
Autor:
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha acto/lectura:
2016-09-14
Fecha difusión:
Resumen:
[ES] En el presente proyecto se estudiarán, explicarán y aplicarán las nuevas posibilidades que nos proporciona la introducción de mejoras en la herramienta de verificación de protocolos MaudeNPA. Estas mejoras nos ...[+]


[EN] In this project will be studied , explain and apply the new possibilitiesIt provides improvements in protocol verification toolMaude -NPA .These improvements will allow us to analyze and verify security protocols ...[+]
Palabras clave: Maude-NPA , Protocolos comunicaciones , Verificación , Modelado , Asociatividad , Criptografía , Protocols communication , Attacks , Cryptography
Derechos de uso: Reserva de todos los derechos
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

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

Mostrar el registro completo del ítem