Game-Based Proof
Las demostraciones basadas en juegos son el marco formal de la seguridad demostrable: las definiciones de seguridad y las reducciones se expresan como una secuencia de juegos entre atacante y desafiante, con sustituciones graduales hasta la indistinguibilidad.
Propósito
Dan a los protocolos criptográficos una prueba de seguridad estructurada y verificable, y son el método estándar de la criptografía moderna.
Mecanismo
Se define un juego de seguridad G0 (el esquema real) y G1 (ideal/inquebrantable); mediante una cadena de juegos intermedios G0→G1→...→Gn cada paso sustituye parte del esquema, la ventaja distintiva de cada sustitución se acota por una suposición, y las cotas suman la ventaja total.
Casos de uso
- Pruebas de seguridad de protocolos criptográficos
- Análisis de esquemas de cifrado
- Verificación formal de seguridad
Herramientas relacionadas
Calculadora de hash
Compute MD5, SHA-1, SHA-256, or SHA-512 hashes with hex or Base64 output. Gratis, privado y 100% del lado del cliente. HERRAMIENTA
Herramienta RSA
RSA key generation, encryption, decryption, signing, and verification using Web Crypto API. Gratis, privado y 100% del lado del cliente. HERRAMIENTA