Una Cadena de Herramientas para Asistir la Migración de Ejecutables de Software Hacia Criptografía Post-Cuántica

Información Básica

• ID del Artículo: 2409.07852
• Título: A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography
• Autores: Norrathep Rattanavipanon, Jakapan Suaboot, Warodom Werapun (Universidad Príncipe de Songkla)
• Clasificación: cs.CR (Criptografía y Seguridad)
• Estado de Publicación: Enviado a la revista IEEE ACCESS
• Enlace del Artículo: https://arxiv.org/abs/2409.07852

Resumen

La computación cuántica representa una amenaza global significativa para los mecanismos de seguridad actuales. Aunque expertos en seguridad y el sector público han publicado directrices para ayudar a las organizaciones a migrar software hacia criptografía post-cuántica (PQC), existe una carencia de herramientas (semi)automatizadas que respalden esta transformación, particularmente cuando el software se implementa en forma de ejecutables binarios. Para abordar este problema, este artículo primero propone los requisitos necesarios para herramientas de detección de ejecutables de software vulnerables a ataques cuánticos. Basándose en estos requisitos, se introduce QED: la cadena de herramientas de detección de ejecutables vulnerables a ataques cuánticos. QED adopta un enfoque de tres fases para identificar dependencias vulnerables a ataques cuánticos en un conjunto dado de ejecutables, desde el nivel de archivo hasta el nivel de API, identificando finalmente con precisión los rastros estáticos que activan APIs vulnerables a ataques cuánticos. Los resultados de la evaluación muestran que: (1) QED distingue ejecutables vulnerables y seguros ante ataques cuánticos con una precisión del 100% en conjuntos de datos sintéticos; (2) QED es práctico y escalable, completando el análisis de ejecutables del mundo real en menos de 4 segundos en promedio; (3) QED reduce el trabajo manual requerido por los analistas para identificar ejecutables vulnerables a ataques cuánticos en más del 90%.

Antecedentes de Investigación y Motivación

Definición del Problema

Con el rápido desarrollo de la tecnología de computación cuántica, evolucionando desde 2 qubits en 1998 hasta más de 1000 qubits en la actualidad, los expertos predicen que las computadoras cuánticas funcionales a gran escala se comercializarán dentro de los próximos veinte años. Las computadoras cuánticas pueden romper los sistemas criptográficos de clave pública ampliamente utilizados actualmente, como RSA (que requiere 4098 qubits lógicos) y criptografía de curva elíptica (que requiere 2330 qubits lógicos).

Importancia

La conciencia global sobre la amenaza de ataques cuánticos está aumentando, y instituciones como NIST recomiendan que las organizaciones establezcan equipos preparados para la era cuántica, listos para migrar sistemas de software hacia criptografía post-cuántica. Esto incluye:

1. Crear inventarios criptográficos para evaluar el uso de criptografía dentro de la organización
2. Realizar evaluaciones de riesgo basadas en estos inventarios

Limitaciones de los Métodos Existentes

1. Falta de Herramientas Especializadas: Actualmente no existen herramientas (semi)automatizadas diseñadas específicamente para asistir en tareas de migración a PQC
2. Carga de Análisis Manual: Los analistas deben depender de diversas herramientas dispersas y análisis manual para identificar sistemas de software vulnerables a ataques cuánticos
3. Desafíos del Análisis Binario: Los analistas típicamente no tienen acceso al código fuente y deben realizar la migración a PQC basándose en binarios de programa
4. Problemas de Costo: Requiere conocimientos avanzados de análisis binario, aumentando los costos presupuestarios, de tiempo y de recursos humanos

Motivación de la Investigación

Frente a estos desafíos, particularmente el problema de que pequeñas y medianas empresas carecen de recursos para realizar migración a PQC, este artículo tiene como objetivo desarrollar una herramienta automatizada para aliviar la carga de trabajo de los analistas.

Contribuciones Principales

1. Formulación de Requisitos: Formulación sistemática por primera vez de especificaciones de requisitos para herramientas que asistan en la migración a PQC de ejecutables de software
2. Cadena de Herramientas QED: Diseño e implementación de la cadena de herramientas QED que satisface los requisitos propuestos, con código de fuente abierta disponible públicamente
3. Verificación Empírica: Validación de la precisión y eficiencia de QED en conjuntos de datos sintéticos y del mundo real, logrando una tasa de verdaderos positivos del 100% y reduciendo el trabajo manual en más del 90%
4. Valor Práctico: Proporciona una herramienta crítica de asistencia para migración a PQC para pequeñas y medianas empresas con recursos limitados

Explicación Detallada del Método

Definición de la Tarea

Dado un conjunto de ejecutables de software, el objetivo de QED es identificar ejecutables vulnerables a ataques cuánticos (QV). Un ejecutable de software se define como QV si y solo si existe al menos una ruta de ejecución posible desde su punto de entrada (función principal) hasta una API de biblioteca criptográfica que implementa un algoritmo QV (como RSA, Diffie-Hellman, firma digital de curva elíptica).

Requisitos de la Herramienta (R1-R5)

• R1 Vinculación Dinámica: Debe ser capaz de identificar ejecutables que utilizan APIs QV a través de vinculación dinámica
• R2 Análisis a Nivel Binario: No depende de la disponibilidad del código fuente
• R3 Características Estáticas: Utiliza únicamente características estáticas, sin requerir rastros de ejecución en tiempo de ejecución
• R4 Escalabilidad: Respalda el análisis de grandes cantidades de ejecutables de software, completándose en tiempo razonable
• R5 Validez: No produce falsos negativos, tolerando una pequeña cantidad de falsos positivos

Arquitectura del Modelo

QED adopta una arquitectura de análisis progresivo de tres fases:

Primera Fase: Análisis de Dependencias a Nivel de Archivo (P1)

Objetivo: Identificar ejecutables que tienen relaciones de dependencia con bibliotecas criptográficas QV

Método:

1. Construir un grafo de dependencias de software G₁ = (V₁, E₁), donde V₁ es el conjunto de archivos y E₁ son relaciones de dependencia directa
2. Descubrir todas las relaciones de dependencia mediante búsqueda en profundidad
3. Localizar bibliotecas criptográficas QV en V₁
4. Podar nodos sin relaciones de dependencia con bibliotecas criptográficas

Salida: Rutas de dependencia a nivel de archivo EV₁

Segunda Fase: Análisis de Dependencias a Nivel de API (P2)

Objetivo: Reducir falsos positivos de P1, analizando relaciones de dependencia a nivel de API

Método:

1. Construir un grafo de dependencias de API G₂ = (V₂, E₂), donde E₂ contiene triples (n₁, n₂, apis)
2. Verificar si los nodos predecesores contienen llamadas a funciones de APIs QV
3. Eliminar aristas que no contengan llamadas a APIs QV
4. Incrustar información de dependencia a nivel de API para cada arista

Salida: Rutas de dependencia con información de APIs QV EV₂

Tercera Fase: Análisis de Rastro Estático (P3)

Objetivo: Identificar con precisión ejecutables que cumplen la definición de QV

Método:

1. Construir un grafo de llamadas estático para análisis de alcanzabilidad
2. Verificar rutas de ejecución desde el punto de entrada del ejecutable hasta APIs QV
3. Respaldar modo ordinario y modo conservador
   • Modo ordinario: La falta de rastro de ejecución indica directamente no-QV
   • Modo conservador: Tratar rastros faltantes como posibles falsos negativos

Salida: Rastros de ejecución estática EV₃

Puntos de Innovación Técnica

1. Estrategia de Análisis Progresivo: Análisis de tres fases de granularidad gruesa a fina, equilibrando velocidad y precisión
2. Utilización de Información de Nombres de API: Detección de uso criptográfico basada en información de nombres de API, evitando falsos negativos causados por optimizaciones del compilador
3. Soporte para Vinculación Dinámica: Manejo especializado de escenarios donde se utilizan bibliotecas criptográficas a través de vinculación dinámica
4. Modos de Análisis Flexibles: Proporciona dos modos, ordinario y conservador, permitiendo a los analistas elegir según sus necesidades

Configuración Experimental

Conjuntos de Datos

Conjunto de Datos Sintético

• Bibliotecas Criptográficas: OpenSSL v1.1.1, OpenSSL v3.3.1, MbedTLS v2.28.8, wolfSSL v5.7.2
• Primitivas Criptográficas: SHA-512, AES-256, Diffie-Hellman, RSA, ECDSA (los últimos tres son QV)
• Conjunto de Dependencias Directas: 20 ejecutables (12 QV, 8 no-QV)
• Conjunto de Dependencias Indirectas: 20 ejecutables (12 QV, 8 no-QV)
• Total: 40 ejecutables (24 QV, 16 no-QV)

Conjunto de Datos del Mundo Real

• Coreutils: 109 programas de software no criptográficos (no-QV)
• UnixBench: 18 herramientas de pruebas de rendimiento (no-QV)
• Red: 13 programas de herramientas de red (7 QV, 6 no-QV)
• tpm2-tools: 86 herramientas de implementación de funcionalidad TPM
• Total: 226 ejecutables, tamaño promedio 248KB

Métricas de Evaluación

• Tasa de Verdaderos Positivos (TPR): Proporción de ejecutables QV identificados correctamente
• Tasa de Verdaderos Negativos (TNR): Proporción de ejecutables no-QV identificados correctamente
• Tiempo de Ejecución: Tiempo requerido para análisis en cada fase
• Uso de Memoria: Uso máximo de RAM
• Reducción de Trabajo Manual: Número de archivos que requieren revisión manual adicional

Detalles de Implementación

• Lenguaje de Programación: Python3 (aproximadamente 800 líneas de código)
• Bibliotecas de Dependencia: pyelftools (procesamiento de archivos ELF), NetworkX (operaciones de grafos), angr (construcción de grafos de llamadas estáticos)
• Entorno Experimental: Ubuntu 20.04, Intel i5-8520U @ 1.6GHz, 24GB RAM

Resultados Experimentales

Resultados Principales

Precisión en Conjunto de Datos Sintético

Rendimiento en Conjunto de Datos del Mundo Real

• Tiempo de Procesamiento Promedio: Aproximadamente 4 segundos por ejecutable
• Tiempo de Procesamiento Total: Aproximadamente 15 minutos para 226 ejecutables
• Uso de Memoria: P1 y P2 aproximadamente 180MB, P3 aproximadamente 3-5GB
• Reducción de Trabajo Manual: De 226 reducido a 20 (reducción del 91.15%)

Experimentos de Ablación

• Fase P1: Cribado preliminar rápido, pero con alta tasa de falsos positivos
• Fase P2: Reduce significativamente falsos positivos, particularmente para escenarios de dependencias directas
• Fase P3: Mejora adicional de precisión, pero con mayor costo computacional

Análisis de Casos

• Caso de Falso Negativo: El programa curl falla en el análisis del grafo de llamadas estático debido al uso de llamadas indirectas (punteros a funciones)
• Eliminación de Falsos Positivos: Los programas sftp y scp, aunque vinculados a OpenSSL, solo utilizan APIs no-QV

Hallazgos Experimentales

1. Análisis Progresivo Efectivo: El diseño de tres fases equilibra exitosamente velocidad y precisión
2. Limitaciones del Análisis Estático: Las llamadas indirectas siguen siendo un desafío para el análisis estático
3. Verificación de Practicidad: La herramienta funciona bien en entornos reales, reduciendo significativamente el trabajo manual

Trabajo Relacionado

Herramientas de Descubrimiento Criptográfico

Las herramientas existentes se dividen en dos categorías: estáticas y dinámicas:

• Métodos Estáticos: Basados en características estáticas como vectores de inicialización, tablas de búsqueda, secuencias de instrucciones de ensamblador
• Métodos Dinámicos: Basados en información en tiempo de ejecución como estructuras de bucles, relaciones entrada-salida

Investigación de Migración a PQC

• Proceso de Migración: Cuatro pasos: diagnóstico → planificación → ejecución → mantenimiento
• Agilidad Criptográfica: Capacidad del sistema para adaptarse a diferentes algoritmos criptográficos
• Escenarios de Aplicación: Binarios compilados, activos de sistemas externos, capas de comunicación de red

Ventajas de Este Artículo

• Enfoque especializado en detección de vulnerabilidad cuántica
• Respalda escenarios de vinculación dinámica
• No requiere ejecución en tiempo de ejecución o análisis simbólico pesado
• Proporciona una herramienta práctica de extremo a extremo

Conclusiones y Discusión

Conclusiones Principales

1. QED satisface exitosamente todos cinco requisitos de diseño (R1-R5)
2. Logra una precisión del 100% en conjuntos de datos sintéticos
3. Reduce significativamente el trabajo manual en conjuntos de datos del mundo real
4. La herramienta demuestra buena escalabilidad y practicidad

Limitaciones

1. Detección de Llamadas Indirectas: El análisis estático no puede detectar el uso de APIs QV a través de punteros a funciones
2. Restricciones de Método de Vinculación: Asume que los ejecutables utilizan bibliotecas criptográficas a través de vinculación dinámica
3. Problema de Código Muerto: Puede marcar como positivos llamadas a APIs QV que nunca se ejecutan

Direcciones Futuras

1. Análisis Dinámico Ligero: Combinar análisis dinámico para identificar llamadas indirectas
2. Soporte para Vinculación Estática: Extender la detección a funcionalidad criptográfica implementada directamente o vinculada estáticamente
3. Parches Automatizados: Extender desde identificación a parches (semi)automáticos de uso vulnerable a ataques cuánticos

Evaluación Profunda

Fortalezas

1. Importancia del Problema: Aborda puntos débiles prácticos en la migración a PQC
2. Enfoque Sistemático: Proceso completo desde análisis de requisitos hasta implementación de herramientas
3. Innovación Técnica: El diseño de estrategia de análisis progresivo de tres fases es razonable
4. Valor Práctico: La herramienta de código abierto tiene valor importante para pequeñas y medianas empresas
5. Experimentación Completa: Verificación exhaustiva con conjuntos de datos sintéticos y del mundo real

Deficiencias

1. Limitaciones de Plataforma: Actualmente solo respalda formato ELF de Linux, escalabilidad limitada
2. Limitaciones de Lenguaje: Enfoque principal en programas C/C++
3. Limitaciones del Análisis Estático: Análisis insuficiente de llamadas indirectas y código muerto
4. Alcance de Evaluación: Algunos programas en el conjunto de datos del mundo real carecen de verdad fundamental

Impacto

1. Contribución Académica: Llena el vacío en la investigación de herramientas de migración a PQC
2. Valor Práctico: Proporciona herramientas prácticas para evaluación de riesgo de migración a PQC organizacional
3. Reproducibilidad: El código de fuente abierta y conjuntos de datos respaldan la reproducción de resultados
4. Potencial de Promoción: El método es extensible a otras plataformas e idiomas

Escenarios Aplicables

• Evaluación de riesgo de migración a PQC empresarial
• Auditoría de seguridad de cadena de suministro de software
• Análisis de dependencias criptográficas
• Verificación de cumplimiento de seguridad

Referencias

El artículo cita 42 referencias relacionadas, cubriendo múltiples campos incluyendo desarrollo de computación cuántica, directrices de migración a PQC, herramientas de detección criptográfica, análisis binario y otros trabajos importantes, proporcionando una base teórica sólida para la investigación.

Evaluación General: Este artículo aborda el importante problema de la migración a criptografía post-cuántica, proponiendo una solución sistemática. La cadena de herramientas QED está bien diseñada, con verificación experimental completa, poseyendo valor académico y práctico significativo. Aunque existen algunas limitaciones técnicas, hace contribuciones importantes al campo de migración a PQC, proporcionando particularmente una solución viable para pequeñas y medianas empresas con recursos limitados.