- -

Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA

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

Compartir/Enviar a

Citas

Estadísticas

Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA

Mostrar el registro completo del ítem

González Burgueño, A. (2014). Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA. http://hdl.handle.net/10251/51784.

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

Ficheros en el ítem

Metadatos del ítem

Título: Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA
Autor:
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2014-04-10
Fecha difusión:
Resumen:
[EN] Escobar of the Universitat Politècnica de València in collaboration with José Meseguer (University of Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Lab, Washington, DC, USA). We focus on ...[+]


[ES] El desarrollo de esta tesis final de máster tiene como objetivo verificar diversos protocolos de seguridad existentes utilizando una herramienta de verificación automatizada de protocolos, Maude- NPA, desarrollada ...[+]
Palabras clave: Maude-NPA , Maude , Protocolos criptográficos de comunicación , Or-exclusivo , Cryptographic communication protocols , Exclusive-or
Derechos de uso: Reconocimiento - Sin obra derivada - No comercial (by-nd-nc)
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Tipo: Tesis de máster

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

Mostrar el registro completo del ítem