Mostrar el registro completo del ítem
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
Título: | Verificación automática de protocolos criptográficos de seguridad | |||
Autor: | González Burgueño, Antonio | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Derechos de uso: | Reserva de todos los derechos | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|