Prueba de seguridad para el esquema de firma Full Domain Hash utilizando EasyCrypt.
Supervisor(es): Viola, Alfredo - Betarte, Gustavo
Resumen:
EasyCrypt es una herramienta automatizada que permite elaborar pruebas de seguridad representadas como una secuencia de juegos. La misma es una posible candidata a ser adoptada como estándar por la comunidad criptográfica para asistir en la escritura y verificación de las pruebas. Desde el rol de criptógrafo, en este trabajo se presenta la prueba de la cota original del esquema de firma Full Domain Hash utilizando la herramienta, la cual constituye un aporte que permite evaluar la misma por parte de la comunidad.
| 2014 | |
| Español | |
| Universidad de la República | |
| COLIBRI | |
| https://hdl.handle.net/20.500.12008/50186 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
