Resumen Técnico: Los Tres Ejes del Riesgo Cuántico

1. Declaración del Problema

La migración post-cuántica ha pasado de ser una investigación a una necesidad operativa, impulsada por la finalización de los estándares FIPS 203/204/205 por parte del NIST y los plazos de la CNSA 2.0 de la NSA (2025–2033). Sin embargo, las herramientas actuales de observabilidad criptográfica sufren una limitación crítica: responden a una única pregunta para cada activo: "¿Es su primitiva resistente al post-cuántico (PQ)?".

Este enfoque de un solo eje no logra capturar el perfil completo de riesgo cuántico porque:

1. Se ignora la protección del canal: Dos activos con algoritmos idénticos (p. ej., ECDSA-P256) tienen perfiles de riesgo muy distintos si uno opera sobre un enlace desprotegido y el otro sobre un enlace de Distribución de Claves Cuánticas (QKD).
2. La agilidad criptográfica es invisible: Un activo que utiliza un algoritmo clásico que puede cambiarse mediante configuración tiene un estado de riesgo diferente a uno donde el algoritmo está codificado de forma rígida en el firmware. Las herramientas actuales no presentan la "agilidad de migración" como una métrica de telemetría de primer orden.
3. Falta de un modelo unificado: La PQC y la QKD suelen tratarse como alternativas mutuamente excluyentes en la literatura, mientras que los operadores necesitan un modelo unificado para evaluar entornos donde los despliegues híbridos son la realidad.

En consecuencia, los operadores no pueden responder con precisión "¿Podemos estar listos para el PQ a tiempo?" porque carecen de una visión unificada de la resistencia algorítmica, la seguridad del canal y la velocidad de migración.

2. Metodología

Los autores proponen un Modelo de Postura de Riesgo Cuántico de Tres Ejes que trata el riesgo como un problema de observación multidimensional. Cada activo se califica en tres ejes independientes, que luego se colapsan en una única puntuación ajustada al plazo, $q(asset, t)$.

Los Tres Ejes

• Eje A (Resistencia Algorítmica): Califica las primitivas criptográficas en una escala de [0, 1].
  • 1.0: Resistente al PQ (p. ej., ML-KEM, ML-DSA).
  • 0.9: Híbrido PQ (p. ej., X25519 + ML-KEM).
  • 0.3: Clásico (p. ej., RSA-2048, ECDSA).
  • 0.0: Obsoleto/Roto (p. ej., SHA-1, RC4).
  • Las puntuaciones se ponderan según el rol (firma, intercambio de claves, cifrado, hash).
• Eje C (Protección del Canal): Califica el mecanismo de entrega de claves en una escala de [0, 1].
  • 1.0: Solo QKD.
  • 0.7: Híbrido QKD PSK (claves derivadas de QKD utilizadas en modos híbridos).
  • 0.0: Solo clásico.
  • Este eje tiene en cuenta la degradación del enlace (p. ej., una alta Tasa de Error de Bits Cuánticos) descontando la puntuación proporcionalmente.
• Eje G (Agilidad de Migración): Califica la capacidad de cambiar las primitivas en una escala de [0, 1].
  • 1.0 (Negociado): Algoritmo seleccionado por sesión (p. ej., TLS 1.3).
  • 0.75 (Configurable): Cambiable mediante archivo de configuración.
  • 0.50 (Anclado/Pinned): Codificado en el código fuente, cambiable mediante actualización de software.
  • 0.20 (Bloqueado): Fijo en el firmware o módulos validados por FIPS.
  • 0.0 (Congelado): Fijo en silicio o ROM.

La Puntuación Unificada

El modelo calcula una puntuación de riesgo ajustada al plazo $q(asset, t)$:
$$q(asset, t) = 1 - (\alpha \cdot A + \beta \cdot C + \gamma(\tau) \cdot G)$$
Donde $\tau$ representa la "tensión del plazo" (qué tan cerca está la fecha actual $t$ del plazo $D$ del operador). A medida que el plazo se acerca, el peso $\gamma$ asignado a la agilidad disminuye, reflejando que una alta agilidad es menos permisiva cuando el tiempo es escaso. Se activa una bandera de BLOQUEADO (BLOCKED) para los activos con baja agilidad que no pueden migrarse a tiempo, independientemente de su puntuación actual.

Implementación: Sezar

Los autores implementaron Sezar, una plataforma de observabilidad de código abierto en Rust, para operacionalizar este modelo. Los componentes clave incluyen:

• Extensión de Esquema: Extendieron el esquema crypto_inventory_event v1 para incluir los campos channel_protection y agility.
• Cinco Agentes:
  1. sezar-net: Observación de TLS/SSH/IPsec basada en eBPF.
  2. sezar-qkd: Colector ETSI GS QKD 014 y un emulador KME sintético para pruebas.
  3. sezar-agility: Escáner estático utilizando reglas de Semgrep para analizar el código fuente y binarios en busca de niveles de agilidad.
  4. sezar-cert: Inventario X.509 mediante registros de CT y escaneos de host.
  5. sezar-chain: Observación de blockchain pública.
• Motor de Consolidación (Rollup Engine): Una función pura que ingiere eventos y calcula la puntuación unificada basándose en los pesos y plazos configurados por el operador.

3. Contribuciones Clave

1. El Modelo de Tres Ejes: Un marco formal que separa la resistencia algorítmica, la protección del canal y la agilidad de migración, reconociendo que la PQC y la QKD son observables complementarias.
2. Extensión de Esquema: Una actualización estrictamente aditiva de la actualización del esquema crypto_inventory_event (v1.1) que permite la telemetría interoperable de QKD y agilidad.
3. Implementación de Referencia Sezar: Un stack completo de código abierto (agentes, colector, dashboard) que unifica la observación de red eBPF, la telemetría QKD basada en REST y el análisis de código estático.
4. Emulador de QKD: Un emulador de Entidad de Gestión de Claves (KME) ETSI GS QKD 014 que permite a los profesionales probar software compatible con QKD sin necesidad de hardware físico.
5. Rúbrica de Agilidad y Corpus: Un sistema de puntuación ordinal de cinco niveles operacionalizado mediante un paquete de reglas Semgrep, validado contra un corpus de verdad fundamental calificado manualmente de 50 proyectos de servidores de código abierto.

4. Resultados Empíricos

El artículo valida el modelo a través de tres estudios reproducibles:

• Estudio 1 (Eje A - Tranco Top-1k):

  • Escaneó 724 hosts receptivos del top-1k de Tranco.
  • Resultado: El 43.8% de los hosts negoció un intercambio de claves híbrido PQ (X25519MLKEM768) cuando se ofreció. Sin embargo, el 16.9% todavía negoció TLS 1.2 (estructuralmente no apto para PQ) y la distribución de firmas de certificados siguió siendo dominante de RSA (64.9%).
  • Perspectiva: Los escaneos de un solo eje pasan por alto las restricciones estructurales (versión de TLS) y la falta de agilidad de los certificados.

• Estudio 2 (Eje C - Emulador de QKD):

  • Probó el sistema contra 13 transiciones de estado inducidas en cinco escenarios de falla (estado estable, degradación, falla total, PSK caducado, SAE bifurcado).
  • Resultado: 13/13 cambios de estado fueron clasificados correctamente. El sistema distinguió correctamente entre fallas a nivel de enlace y problemas de atribución por sesión (p. ej., un SAE fallando mientras otro tiene éxito).
  • Perspectiva: La telemetría a nivel de enlace por sí sola es insuficiente; se requiere atribución por sesión para puntuar con precisión la protección del canal.

• Estudio 3 (Eje G - Piloto de Agilidad):

  • Comparó el escáner sezar-agility contra la verdad fundamental calificada a mano para un subconjunto de 11 proyectos del corpus de 50 proyectos.
  • Resultado: 91% de acuerdo (10/11 proyectos). El único desacuerdo fue con chrony, donde la evidencia estática era ambigua entre "configurable" y "anclado".
  • Perspectiva: El análisis estático puede lograr un acuerdo sustancial con la calificación humana, aunque las brechas de cobertura del ecosistema Go (que inicialmente faltaban patrones de crypto/tls) requirieron actualizaciones de reglas.

5. Significación y Reivindicaciones

El artículo afirma que la métrica de preparación para PQ de "un solo bit" es insuficiente para los operadores que enfrentan plazos de 2030–2033. La importancia de este trabajo radica en:

1. Evaluación de Riesgo Holística: Demuestra que el riesgo de un activo no es solo sobre el algoritmo que utiliza, sino también sobre cómo se entregan las claves y qué tan rápido se puede cambiar el algoritmo.
2. Viabilidad Operativa: Prueba que se puede construir un modelo de observabilidad unificado que cubra PQC, QKD y agilidad utilizando hardware comercial y herramientas de código abierto, sin requerir stacks comerciales propietarios.
3. Priorización Accionable: Al colapsar tres ejes en una puntuación ajustada al plazo, el modelo permite a los operadores priorizar los esfuerzos de migración basándose en un "tiempo para reparar" realista en lugar de solo en la "vulnerabilidad actual".
4. Reproducibilidad: Los autores proporcionan el esquema completo, el emulador, los conjuntos de reglas y el corpus de verdad fundamental, invitando a la comunidad a verificar, criticar y refinar las constantes de puntuación y los pesos, en lugar de aceptar estas como verdades absolutas.

Los autores declaran explícitamente que el modelo no resuelve las restricciones económicas o políticas de la migración, sino que proporciona la capa de telemetría necesaria para que esas decisiones sean informadas. La contribución es el modelo y la herramienta, no las puntuaciones numéricas específicas, que están destinadas a ser configurables por el operador.