Información del autor
Autor Inga Rivera, Luis Alberto |
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
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áfico de conocimiento [...]