PQ3: el nuevo protocolo de cifrado de iMessage
- iMessage anunció la mejora de seguridad de cifrado más importante de su historia al introducir PQ3, un nuevo protocolo de cifrado.
- PQ3 impulsa la tecnología de mensajería de extremo a extremo al incluir defensa contra ataques de computación cuántica.
- PQ3 es considerado el que posee las propiedades de seguridad más sólidas entre las aplicaciones de mensajería con mayor despliegue global.
La evolución del cifrado de iMessage
- iMessage se lanzó en 2011 como la primera app de mensajería popular en ofrecer cifrado de extremo a extremo de forma predeterminada.
- El protocolo de cifrado se ha fortalecido continuamente, pasando de RSA a criptografía de curva elíptica (ECC) y protegiendo las claves de cifrado en el Secure Enclave del dispositivo.
- La seguridad del protocolo de cifrado fue rigurosamente verificada mediante evaluación simbólica.
Amenaza de la computación cuántica
- Los algoritmos criptográficos de clave pública existentes se ven amenazados por el avance de la computación cuántica.
- Una computadora cuántica con suficiente capacidad podría resolver rápidamente esos algoritmos y poner en riesgo la seguridad de las comunicaciones cifradas.
- Aunque aún no existan computadoras cuánticas, los atacantes pueden prepararse para ataques tipo “Harvest Now, Decrypt Later” que descifrarán datos cifrados hoy mediante computación cuántica en el futuro.
Nivel de seguridad de las aplicaciones de mensajería
- Para entender el nivel de seguridad de las apps de mensajería, se lo describe como un espectro según sus propiedades de seguridad.
- La mayoría de las apps de mensajería no ofrecen cifrado de extremo a extremo de forma predeterminada (nivel 0), o bien lo ofrecen sin seguridad cuántica (nivel 1).
- Signal fue la primera aplicación de mensajería a gran escala en lograr seguridad de nivel 2 al introducir el protocolo PQXDH.
Diseño de PQ3
- PQ3 reconstruyó desde cero el protocolo de cifrado de iMessage, incluyendo más que el simple reemplazo de algoritmos existentes por otros nuevos.
- Introduce seguridad cuántica desde el inicio de la conversación para proteger todas las comunicaciones frente a amenazas actuales y futuras.
- Limita la cantidad de mensajes pasados y futuros que pueden descifrarse tras comprometer una sola clave, para mitigar el impacto de esa exfiltración.
- Utiliza un diseño híbrido que combina algoritmos ECC actuales con nuevos algoritmos cuánticos.
- Minimiza el aumento en el tamaño de los mensajes causado por la seguridad adicional.
- Utiliza métodos de verificación formal para ofrecer garantías de seguridad sólidas para el nuevo protocolo.
Prueba formal de PQ3
- PQ3 fue revisado ampliamente por el equipo de Ingeniería y Arquitectura de Seguridad de Apple (SEAR) y por expertos mundiales en criptografía.
- El profesor David Basin de la ETH Zürich y el profesor Douglas Stebila de la University of Waterloo evaluaron PQ3.
- Proporcionan pruebas de las propiedades de seguridad de PQ3 mediante modelos matemáticos distintos.
Opinión de GN⁺
- La adopción del protocolo PQ3 es un avance importante contra la amenaza de la computación cuántica y muestra avances tecnológicos para prepararse ante futuras amenazas de seguridad.
- Los usuarios de iMessage recibirán una protección mejorada contra ataques criptográficos avanzados actuales y futuros mediante el protocolo PQ3.
- Este avance tecnológico contribuirá a moldear el futuro de la comunicación cifrada y a fortalecer la privacidad de los usuarios.
1 comentarios
Comentarios de Hacker News