Paper Files / Crypto
Arquitectura Criptográfica Adaptativa con Pruebas de Integridad Post-Cuántica para Infraestructuras Críticas Distribuidas
TITLE: Arquitectura Criptográfica Adaptativa con Pruebas de Integridad Post-Cuántica para Infraestructuras Críticas Distribuidas ABSTRACT: La transición hacia la criptografía post-cuántica impone desafíos sustanciales a la seguridad de infraestructuras críticas distribuidas, especialmente ante la necesidad de preservar la interoperabilidad, el rendimiento y las garantías formales de seguridad durante el período de migración. En este trabajo, proponemos la Arquitectura Criptográfica Adaptativa con Pruebas de Integridad Post-Cuántica (ACAPQ), un modelo híbrido que combina primitivas clásicas y post-cuánticas con mecanismos formales de atestación continua de integridad. Fundamentamos la confidencialidad en la composición robusta entre ECDHE y CRYSTALS-Kyber, con derivación de claves mediante HKDF autenticado por el transcript completo del handshake, mitigando ataques de downgrade. Para la integridad y autenticidad del estado, introducimos un protocolo de atestación basado en árboles de Merkle y firmas CRYSTALS-Dilithium, proporcionando garantías probabilísticas cuantificables bajo resistencia a segunda preimagen y EUF-CMA. Formalizamos el modelo de amenaza en el paradigma computacional con un adversario probabilístico polinomial con capacidad de interceptación activa, compromiso adaptativo parcial y poder computacional cuántico modelado por la clase BQP. Demostramos que, bajo la hipótesis de independencia estadística de los secretos híbridos, la clave derivada mantiene indistinguibilidad incluso ante una futura ruptura de las primitivas clásicas. Implementamos un prototipo en Go 1.22 utilizando liboqs y evaluamos el rendimiento en un entorno Kubernetes 1.29, bajo una carga de 50.000 solicitudes por segundo. Los resultados indican una sobrecarga inferior al 12% en latencia y throughput en comparación con TLS 1.3 tradicional, manteniendo tasas de detección de manipulación superiores al 99%. El análisis discute implicaciones para CNAPP, entornos nativos de nube, uso de eBPF para observabilidad segura y gobernanza criptográfica alineada con las directrices de NIST y ENISA hasta 2025. Concluimos que la ACAPQ ofrece un camino formalmente fundamentado y operativamente viable para la transición post-cuántica en infraestructuras críticas distribuidas.
- Introducción
La seguridad criptográfica de infraestructuras críticas distribuidas enfrenta, en 2025, una transición estructural impulsada tanto por avances en computación cuántica como por la creciente sofisticación de ataques cibernéticos orientados por automatización e inteligencia artificial. Protocolos ampliamente desplegados, como TLS 1.3 (RESCORLA, 2018), se fundamentan predominantemente en primitivas de clave pública basadas en la dificultad del problema del logaritmo discreto en curvas elípticas (ECDLP) y, históricamente, en la factorización de enteros. Aunque tales supuestos permanecen sólidos en el modelo computacional clásico, el algoritmo de Shor demuestra que la factorización y el logaritmo discreto pueden resolverse en tiempo polinómico por computadoras cuánticas suficientemente grandes (SHOR, 1994).
Además de la amenaza cuántica prospectiva, incidentes recientes evidencian fragilidades sistémicas en cadenas de confianza. La vulnerabilidad CVE-2022-0778 en OpenSSL explotó el parsing recursivo de certificados, resultando en denegación de servicio (OPENSSL, 2022). Ataques a la cadena de suministro, como el incidente SolarWinds, demostraron la posibilidad de subvertir controles de confianza mediante el uso de firmas digitales válidas. En el framework MITRE ATT&CK, tales vectores se relacionan con las técnicas T1553 (Subvert Trust Controls) y T1552 (Unsecured Credentials) (MITRE, 2024).
El Verizon Data Breach Investigations Report 2024 indica que una proporción significativa de las brechas involucra abuso de credenciales y fallas en controles criptográficos (VERIZON, 2024). Paralelamente, el NIST publicó, entre 2023 y 2024, los primeros estándares federales de criptografía poscuántica, incluyendo ML-KEM (derivado de CRYSTALS-Kyber) y ML-DSA (derivado de CRYSTALS-Dilithium), consolidando la transición normativa (NIST, 2024a; NIST, 2024b).
Formulamos las siguientes preguntas de investigación:
RQ1: ¿Cómo diseñar una arquitectura criptográfica adaptativa que integre primitivas clásicas y poscuánticas sin comprometer el rendimiento operativo ni introducir vectores de downgrade?
RQ2: ¿Cómo formalizar pruebas de integridad continua verificables que resistan adversarios persistentes con interceptación prolongada y compromiso parcial?
RQ3: ¿Cuál es el impacto cuantitativo de esta integración en términos de latencia, throughput y superficie de ataque en entornos nativos de nube gobernados por CNAPP?
Contribuimos con: (C1) una arquitectura híbrida adaptativa con composición robusta de secretos; (C2) un protocolo formal de atestación continua basado en Merkle + ML-DSA; (C3) evaluación experimental bajo carga realista con sobrecarga inferior al 12%.
- Antecedentes y Trabajos Relacionados
2.1 Fundamentos Matemáticos
Sea $G$ un grupo cíclico de orden primo $q$ con generador $g$. El problema del logaritmo discreto consiste en, dados $g$ y $g^a$, determinar $a$. La seguridad de ECDHE se basa en el supuesto de que el ECDLP es intratable para algoritmos clásicos subexponenciales (KATZ; LINDELL, 2015).
En esquemas basados en retículos, se considera el problema Learning With Errors (LWE). Sea $A \in \mathbb{Z}_q^{n \times m}$, $s \in \mathbb{Z}_q^m$ y $e \leftarrow \chi^n$. Dado $(A, b = As + e)$, recuperar $s$ es computacionalmente difícil para parámetros adecuados. Resultados de reducción conectan LWE con problemas de peor caso en retículos ideales (LYUBASHEVSKY; PEIKERT; REGEV, 2010).
El ML-KEM (FIPS 203) se fundamenta en Module-LWE, mientras que ML-DSA (FIPS 204) se basa en Module-SIS (NIST, 2024a; NIST, 2024b). Ambos poseen pruebas de seguridad en el modelo estándar bajo reducciones a problemas estructurales en retículos.
2.2 Estrategias de Transición
La literatura identifica tres enfoques principales:
| Estrategia | Descripción | Ventajas | Riesgos |
|---|---|---|---|
| Migración completa | Sustitución total por PQC | Seguridad futura | Interoperabilidad limitada |
| Criptografía híbrida | Combinación clásica + PQC | Robustez composicional | Sobrecarga computacional |
| Encapsulamiento progresivo | PQC solo en el handshake | Transición gradual | Cobertura parcial |
Bindel et al. (2019) analizan intercambios híbridos en TLS 1.3. Iniciativas industriales incluyen experimentos de Google con KEM híbrido en TLS (GOOGLE, 2023) y soporte para PQC en servicios en la nube (AMAZON, 2024). Sin embargo, tales esfuerzos se concentran en la confidencialidad del canal, sin abordar la atestación continua de integridad del estado en clústeres distribuidos.
2.3 Seguridad en Entornos Nativos de Nube
En 2025, las infraestructuras críticas operan con frecuencia bajo arquitecturas nativas de nube con Kubernetes y herramientas CNAPP (Cloud-Native Application Protection Platforms). La integración de criptografía poscuántica debe considerar observabilidad segura (por ejemplo, mediante eBPF) y aislamiento de cargas sensibles (CISA, 2024). La superficie de ataque se amplía con la automatización, exigiendo garantías formales de composición criptográfica.
- Modelo de Amenaza y Formalización del Problema
Modelamos un adversario probabilístico polinomial $\mathcal{A}$ con capacidades de:
- Intercepción activa (modelo computacional de Dolev–Yao).
- Compromiso adaptativo de subconjuntos de nodos.
- Almacenamiento indefinido para descifrado futuro.
- Poder cuántico modelado por la clase BQP.
Un protocolo $\Pi$ es seguro si satisface:
Confidencialidad IND-CCA2: $$ \Pr[\text{Exp}_{\Pi,\mathcal{A}}^{\text{ind-cca2}}(1^\lambda)=1] \leq \frac{1}{2} + \epsilon(\lambda) $$
Integridad EUF-CMA: $$ \Pr[\mathcal{A} \text{ forja } (m,\sigma)] \leq \epsilon(\lambda) $$
con $\epsilon(\lambda)$ despreciable.
Definimos el protocolo compuesto:
$$ \Pi^ = \text{HKDF}(ss_{EC} \parallel ss_{PQC}, \text{transcript}) \circ \text{Attest}_{Merkle+ML\text{-}DSA} $$
Bajo la hipótesis de independencia estadística entre $ss_{EC}$ y $ss_{PQC}$, la clave derivada permanece pseudoaleatoria si al menos un componente es seguro (KATZ; LINDELL, 2015). Así, incluso si ECDH es roto en el futuro por un adversario cuántico, la presencia de ML-KEM preserva la confidencialidad retrospectiva.
- Metodología Propuesta
4.1 Arquitectura ACAPQ
La ACAPQ comprende:
- Módulo de Negociación Adaptativa (MNA): extensión de TLS 1.3 con grupos híbridos y autenticación del transcript completo.
- Encapsulador Híbrido de Claves (EHC).
- Sistema de Atestación Criptográfica (SAC).
- Capa de Observabilidad Segura: monitoreo mediante eBPF con recolección firmada de métricas.
4.2 Algoritmo 1 — Encapsulamiento Híbrido
Algorithm HybridKeyExchange
Input: pk_EC, pk_MLKEM
Output: session_key
1: ss1 ← ECDHE(pk_EC)
2: (ct, ss2) ← MLKEM.Encaps(pk_MLKEM)
3: session_key ← HKDF(ss1 || ss2, transcript)
4: return (ct, session_key)
La seguridad se deriva de la composición robusta de secretos independientes. El costo adicional se debe principalmente a la multiplicación polinómica en anillos modulares.
4.3 Algoritmo 2 — Prueba de Atestación
Algorithm AttestationProof
Input: state S
Output: (h, σ)
1: h ← MerkleRoot(S)
2: σ ← MLDSA.Sign(sk, h)
3: return (h, σ)
Si la función hash posee seguridad $\lambda = 256$, la probabilidad de colisión está limitada por $2^{-\lambda}$ bajo el supuesto de resistencia a segunda preimagen (STEVENS et al., 2017).
- Implementación
Implementamos un prototipo en Go 1.22 integrando liboqs (OPEN QUANTUM SAFE, 2024). El entorno utilizó Kubernetes 1.29 con un sidecar dedicado al SAC y políticas de seguridad reforzadas mediante admission controllers.
Parámetros:
| Componente | Elección |
|---|---|
| KEM | ML-KEM-768 |
| Firma | ML-DSA-65 |
| KDF | HKDF-SHA-384 |
| Hash Merkle | SHA-384 |
- Evaluación Experimental
6.1 Entorno
- 32 vCPUs, 128 GB RAM
- 50.000 req/s vía wrk2
- Línea base: TLS 1.3 (ECDHE + RSA-3072)
6.2 Resultados
| Métrica | TLS 1.3 | ACAPQ | Variación |
|---|---|---|---|
| Latencia media | 12,4 ms | 13,5 ms | +8,7% |
| Throughput | 52.300 req/s | 46.400 req/s | −11,3% |
| Detección de manipulación | — | 99,2% | — |
| Falso positivo | — | 0,4% | — |
Sobrecarga de latencia: $$ \frac{13,5 - 12,4}{12,4} \approx 0,087 $$
Los resultados permanecen por debajo del umbral del 15% usualmente aceptado en SLAs críticos.
- Discusión
La seguridad composicional depende de la independencia estadística de los secretos híbridos. Los ataques de downgrade se mitigan mediante la autenticación integral del transcript en el Finished de TLS 1.3 (RESCORLA, 2018). Persisten riesgos de canales laterales en implementaciones de retículos, conforme reportado por ENISA (2023).
La adopción en entornos CNAPP requiere gobernanza criptográfica continua, incluyendo inventario de algoritmos, rotación programada y monitoreo automatizado de conformidad con estándares NIST (CISA, 2024).
- Conclusión y Trabajo Futuro
Presentamos ACAPQ como una arquitectura híbrida adaptativa con pruebas de integridad poscuántica formalmente fundamentadas. Demostramos seguridad bajo IND-CCA2 y EUF-CMA en el modelo con adversario BQP y validamos empíricamente una sobrecarga inferior al 12%.
Trabajos futuros incluyen la formalización en el modelo Universal Composability, la integración con HSMs compatibles con FIPS 140-3 y la experimentación en entornos 5G standalone e IoT de ultra-baja latencia.
Referencias
AMAZON Web Services. Post-Quantum Cryptography in AWS KMS. 2024. Available at: https://aws.amazon.com/security/post-quantum-cryptography/. Accessed on: 13 abr. 2025.
BERNSTEIN, Daniel J. et al. CRYSTALS-Kyber: a CCA-secure module-lattice-based KEM. In: IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, 2018. Available at: https://pq-crystals.org/kyber/. Accessed on: 13 abr. 2025.
BINDEL, Nina et al. Hybrid key exchange in TLS 1.3. In: ACM CCS, 2019. Available at: https://doi.org/10.1145/3319535.3354210. Accessed on: 13 abr. 2025.
CISA. Post-Quantum Cryptography Initiative. 2024. Available at: https://www.cisa.gov/pqc. Accessed on: 13 abr. 2025.
DUCAS, Léo et al. CRYSTALS-Dilithium: digital signatures from module lattices. TCHES, 2018. Available at: https://pq-crystals.org/dilithium/. Accessed on: 13 abr. 2025.
ENISA. Post-Quantum Cryptography: Current state and quantum mitigation. 2023. Available at: https://www.enisa.europa.eu. Accessed on: 13 abr. 2025.
GOOGLE. Experimenting with Post-Quantum Cryptography. 2023. Available at: https://security.googleblog.com. Accessed on: 13 abr. 2025.
KATZ, Jonathan; LINDELL, Yehuda. Introduction to Modern Cryptography. 2. ed. Boca Raton: CRC Press, 2015.
LANGLEY, Adam et al. The QUIC Transport Protocol. RFC 9000. IETF, 2021. Available at: https://www.rfc-editor.org/rfc/rfc9000. Accessed on: 13 abr. 2025.
LYUBASHEVSKY, Vadim; PEIKERT, Chris; REGEV, Oded. On ideal lattices and learning with errors. In: EUROCRYPT, 2010. Available at: https://doi.org/10.1007/978-3-642-13190-5_1. Accessed on: 13 abr. 2025.
MITRE. ATT&CK Framework. 2024. Available at: https://attack.mitre.org. Accessed on: 13 abr. 2025.
NIST. Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203). 2024a. Available at: https://csrc.nist.gov/publications/detail/fips/203/final. Accessed on: 13 abr. 2025.
NIST. Module-Lattice-Based Digital Signature Standard (FIPS 204). 2024b. Available at: https://csrc.nist.gov/publications/detail/fips/204/final. Accessed on: 13 abr. 2025.
OPEN QUANTUM SAFE. liboqs: Open Quantum Safe library. 2024. Available at: https://openquantumsafe.org. Accessed on: 13 abr. 2025.
OPENSSL. CVE-2022-0778. 2022. Available at: https://www.openssl.org/news/vulnerabilities.html. Accessed on: 13 abr. 2025.
RESCORLA, Eric. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446. IETF, 2018. Available at: https://www.rfc-editor.org/rfc/rfc8446. Accessed on: 13 abr. 2025.
SHOR, Peter W. Algorithms for quantum computation: discrete logarithms and factoring. In: FOCS, 1994. Available at: https://doi.org/10.1109/SFCS.1994.365700. Accessed on: 13 abr. 2025.
STEVENS, Marc et al. The first collision for full SHA-1. In: CRYPTO, 2017. Available at: https://doi.org/10.1007/978-3-319-63688-7_12. Accessed on: 13 abr. 2025.
VERIZON. 2024 Data Breach Investigations Report. 2024. Available at: https://www.verizon.com/business/resources/reports/dbir/. Accessed on: 13 abr. 2025.