González Burgueño, A. (2012). Verificación automática de protocolos criptográficos de seguridad. http://hdl.handle.net/10251/15247.

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

Ficheros en el ítem

Nombre: Memoria.pdf

Tamaño: 5.873Mb

Formato: PDF

Abrir/Preview

Metadatos del ítem

Título:	Verificación automática de protocolos criptográficos de seguridad
Autor:	González Burgueño, Antonio
Director(es):	Escobar Román, Santiago
Entidad UPV:	Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha acto/lectura:	2012-04-04 Fecha difusión: 2012-04-24
Derechos de uso:	Reserva de todos los derechos
Editorial:	Universitat Politècnica de València
Titulación:	Ingeniería Informática-Enginyeria Informàtica
Tipo:	Proyecto/Trabajo fin de carrera/grado

recommendations

 

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

• ETSINF - Trabajos académicos [4769]
  Escola Tècnica Superior d'Enginyeria Informàtica

Mostrar el registro completo del ítem