Covert Routing with DSSS Signaling Against Cycle Detectors

Resumen Técnico: Enrutamiento Encubierto con Señalización DSSS contra Detectores de Ciclo

Planteamiento del Problema
Este artículo aborda el desafío de establecer una comunicación multi-salto encubierta en redes inalámbricas donde un adversario, Willie, emplea un detector de ciclostacionariedad (de ciclo) para identificar transmisiones ocultas. Si bien la espectralización de secuencia directa (DSSS) es una técnica estándar para comunicaciones de baja probabilidad de detección (LPD) al dispersar las señales sobre bandas anchas, la periodicidad estadística de los códigos de dispersión repetitivos crea características ciclostacionarias que los detectores de ciclo pueden explotar.

El problema central implica el enrutamiento de un mensaje confidencial de $M$ bits desde una fuente (Alice) hacia un destino (Bob) a través de una red de nodos de retransmisión amigables. El sistema debe satisfacer dos objetivos contrapuestos bajo restricciones de Calidad de Servicio (QoS) y de presupuesto de enlace:

1. Maximizar la Encubrición de Extremo a Extremo: Minimizar la probabilidad de detección por parte de Willie a lo largo de toda la ruta.
2. Minimizar la Latencia de Extremo a Extremo: Reducir el tiempo total requerido para transmitir el mensaje.

Una restricción crítica es que la encubrición de extremo a extremo está determinada por el "eslabón más débil" (el salto con la mayor probabilidad de detección), lo que significa que un solo salto vulnerable compromete toda la ruta.

Metodología
Los autores proponen un marco de trabajo que optimiza conjuntamente la asignación de recursos (potencia de transmisión, ancho de banda y ganancia de dispersión) y la selección de la ruta para cada salto.

• Modelo de Señal: El sistema utiliza señalización DSSS. El transmisor adapta el ancho de banda ($\Omega_v$), la potencia ($P_v$) y la ganancia de dispersión ($\eta_v$) basándose en las condiciones dinámicas del canal y la proximidad del adversario.
• Modelo del Adversario: Willie emplea un detector de ciclo que estima el Grado de Ciclostacionariedad (DCS) de la señal recibida. La probabilidad de error de detección (DEP) de Willie se modela como inversamente proporcional a la Relación Señal-Ruido (SNR) en Willie y a la longitud del mensaje ($M$).
• Formulación de Optimización:
  • Maximización de la Encubrición: El problema se formula para maximizar la DEP mínima en todos los saltos de una ruta. Los autores demuestran una equivalencia entre maximizar la DEP mínima y maximizar la mínima ganancia de SNR de detección ($\theta_v$) a lo largo del camino. Esta equivalencia permite el uso de algoritmos de camino más ancho eficientes (una variante del algoritmo de Dijkstra) en lugar de simulaciones de Monte Carlo computacionalmente intensivas para cada evaluación de ruta.
  • Minimización de la Latencia: El problema minimiza la suma de las latencias ($\lambda_v = M/D_v$) sujeto a una restricción de DEP mínima por salto. Esto se resuelve mediante algoritmos de ruta más corta estándar.
• Optimización de un Solo Salto: Para ambos objetivos, el artículo deriva los parámetros óptimos. Para la maximización de la encubrición, la estrategia óptima implica utilizar el ancho de banda máximo y la tasa de datos mínima requerida para maximizar la ganancia de procesamiento. Para la minimización de la latencia, la estrategia consiste en maximizar la potencia de transmisión (dentro de los límites de encubrición) para aumentar las tasas de datos.

Contribuciones Clave

1. Nuevos Algoritmos de Enrutamiento: El artículo introduce dos algoritmos de enrutamiento diseñados específicamente para redes multi-salto encubiertas contra detectores de ciclo: uno para la maximización de la encubrición y otro para la minimización de la latencia, garantizando la QoS.
2. Teorema de Equivalencia: Los autores demuestran que el problema de maximización de la encubrición (basado en la DEP) es matemáticamente equivalente a un problema basado en la ganancia de SNR de detección. Esta visión teórica permite el uso de algoritmos de teoría de grafos eficientes para el cómputo de rutas.
3. Validación en Entorno 3D: El marco propuesto se valida mediante simulaciones numéricas en un entorno 3D realista (250m $\times$ 250m $\times$ 9.5m) con edificios concretos, utilizando trazado de rayos para modelar las ganancias de canal.

Resultados Numéricos
Las simulaciones utilizando una topología de red de 36 nodos arrojan las siguientes conclusiones:

• Latencia vs. Encubrición: La latencia de extremo a extremo aumenta exponencialmente a medida que el requisito de encubrición se vuelve más estricto (específicamente cuando la DEP requerida supera $\approx 0.97$). Esto se debe a la necesidad de más saltos y mayores ganancias de procesamiento cerca del adversario.
• Latencia vs. Tamaño del Mensaje ($M$): La relación entre el tamaño del paquete y la latencia es superlineal bajo requisitos de encubrición relajados y exponencial bajo requisitos estrictos.
• Comparación de Detectores: El artículo compara los detectores de ciclo con los detectores de energía. Encuentra que la elección del detector por parte del adversario impacta significativamente la latencia alcanzable:
  • Bajo requisitos de baja encubrición, el detector de ciclo impone penalizaciones de latencia mayores que el detector de energía.
  • Bajo requisitos de encubrición estrictos, el detector de energía resulta más efectivo para detectar transmisiones, imponiendo penalizaciones de latencia mayores que el detector de ciclo.
  • El punto de transición donde el detector de ciclo se vuelve menos efectivo que el detector de energía ocurre en un requisito de DEP de aproximadamente $10^{-1}$.

Significancia
El artículo afirma proporcionar el primer estudio de enrutamiento multi-salto de encubrición específicamente contra adversarios que emplean detectores de ciclo. Al establecer la equivalencia entre las métricas de encubrición y la ganancia de SNR, el trabajo permite un diseño de enrutamiento y asignación de recursos computacionalmente eficiente para redes encubiertas. Los resultados ofrecen información crítica para los diseñadores de redes con respecto a los compromisos entre latencia, tamaño de mensaje y el nivel de protección requerido contra adversarios de detección avanzados. Los hallazgos resaltan que, a medida que aumentan las demandas de encubrición, la topología de la red debe adaptarse significativamente (más saltos, menor potencia), lo que conduce a incrementos no lineales en el retardo de comunicación.