TY  - GEN
AU  - Miguel Gutiérrez-Barquín, Jorge
AU  - Inga Rivera, Luis Alberto
A4  - Peña Marí, Ricardo
A4  - Alonso, María Emilia
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/46195
AB  - El objetivo de este proyecto denominado ”VERIFICACIÓN DE SEGURIDAD DE UN PROTOCOLO CRIPTOGRAFICO UTILIZANDO UN ASISTENTE DE DEMOSTRACIÓN” es demostrar, usando el asistente de demostración Isabelle, que el protocolo criptográficode conocimiento cero...
LA  - spa
KW  - Isabelle
KW  - HOL
KW  - Conocimiento nulo
KW  - Fiat-Shamir
KW  - Criptografía
KW  - Zero-knowledge
KW  - Cryptography
TI  - Verificación de seguridad de un protocolo criptográfico utilizando un asistente de demostración
TY  - coursework
ER  -