On the Robustness of AoA as an Authentication Feature Under Spoofing: Fundamental Limits from Misspecified Cramer Rao Theory

Resumen Técnico: Robustez de la AoA ante Ataques de Suplantación

1. Planteamiento del Problema

La autenticación en la capa física (PLA, por sus siglas en inglés) basada en el Ángulo de Llegada (AoA) es un método establecido para identificar nodos legítimos explotando su firma espacial. Sin embargo, la seguridad de estos sistemas frente a ataques de suplantación (spoofing) ha sido un tema de debate.

• El Desafío: En un escenario de suplantación, un adversario con múltiples antenas intenta imitar la señal de un usuario legítimo. El verificador asume un modelo de "fuente única" (un solo usuario legítimo), pero la señal recibida en realidad proviene de un modelo de "múltiples fuentes" (el adversario) con un ángulo de llegada diferente.
• La Brecha: Estudios anteriores han demostrado la robustez de la AoA mediante análisis de error cuadrático medio, pero carecían de resultados analíticos cerrados para métricas críticas como la probabilidad de detección de suplantación, falsas alarmas y detecciones erróneas.
• Objetivo: Cerrar esta brecha formulando el problema de estimación de AoA bajo ataque como un problema de estimación mal especificada (misspecified estimation) y derivando límites fundamentales analíticos.

2. Metodología

Los autores proponen un marco teórico riguroso basado en la Cota de Cramér-Rao Mal Especificada (MCRB, por sus siglas en inglés).

• Modelo del Sistema:
  • Verificador: Utiliza una Array Lineal Uniforme (ULA) con $M$ elementos.
  • Usuario Legítimo: Modelo de fuente única con un ángulo de llegada $\theta_u$.
  • Adversario (Suplantador): Modelo de fuente múltiple con $L$ antenas, utilizando un vector de precodificación $\mathbf{q}$ y ángulos $\theta^A_\ell$.
• Enfoque Teórico:
  • Se define un parámetro pseudo-verdadero ($\theta_0$), que es el ángulo que minimiza la divergencia de Kullback-Leibler entre la distribución real (ataque) y el modelo asumido (legítimo).
  • Se derivan expresiones cerradas para la MCRB, que cuantifica la varianza mínima de estimación cuando el modelo no coincide con la realidad.
  • Se formula la autenticación como una prueba de hipótesis binaria:
    • $H_0$: La señal proviene del usuario legítimo.
    • $H_1$: La señal proviene del suplantador.
  • Se utilizan aproximaciones asintóticas (Gaussianas) para calcular las probabilidades de error: Falsa Alarma ($P_{FA}$), Detección Errónea ($P_{MD}$) y Detección de Suplantación ($P_{SD}$).

3. Contribuciones Clave

El artículo ofrece tres contribuciones principales:

1. Formulación de Estimación Mal Especificada: Se formula el problema de PLA bajo suplantación como un caso de estimación mal especificada, derivando la MCRB y el ángulo pseudo-verdadero ($\theta_0$) para un verificador ULA y un suplantador con cualquier número de antenas y vector de precodificación.
2. Expresiones Analíticas Cerradas: Se obtienen fórmulas cerradas para:
   • El umbral de decisión de la prueba de autenticación.
   • Las probabilidades de detección de suplantación ($P_{SD}$), falsa alarma ($P_{FA}$) y detección errónea ($P_{MD}$).
   • Los límites asintóticos del sistema cuando el número de instantáneas ($K$) tiende a infinito.
3. Análisis de Sensibilidad y Validación: Se identifica la sensibilidad de la varianza de estimación en el rendimiento de la PLA y se valida la teoría mediante simulaciones de Monte Carlo, analizando el impacto de la relación señal-ruido (SNR), la geometría de la antena y la precodificación del atacante.

4. Resultados Principales

Las simulaciones y el análisis teórico revelan los siguientes hallazgos:

• Robustez Asintótica: Para cualquier desplazamiento angular fijo ($\delta = |\theta_0 - \theta_u| > 0$), la probabilidad de detección de suplantación ($P_{SD}$) tiende a 1 y la probabilidad de detección errónea ($P_{MD}$) tiende a 0 a medida que aumenta el número de instantáneas ($K$) o el SNR. Esto confirma que la AoA es inherentemente robusta si el suplantador no está exactamente en el mismo ángulo que el usuario legítimo.
• Impacto del SNR y la Geometría:
  • Un SNR bajo (ej. 5 dB) es suficiente para detectar suplantadores con un desplazamiento angular muy pequeño ($\Delta = 0.25^\circ$).
  • Aumentar el número de elementos de la antena ($M$) mejora drásticamente la detección. Con $M \ge 16$, se logra un rendimiento casi perfecto para desplazamientos menores a $1^\circ$.
  • Aumentar el número de instantáneas ($K$) también mejora el rendimiento, aunque de manera menos pronunciada que aumentar $M$.
• Efecto de la Precodificación del Atacante:
  • Si el atacante usa ganancia de fase igual (coherente), el rendimiento de detección es independiente del número de antenas del atacante ($L$).
  • Si el atacante introduce variaciones de fase aleatorias, el rendimiento depende de la ganancia coherente efectiva. Para desplazamientos pequeños, la varianza aumentada puede ayudar al verificador; para desplazamientos grandes, puede perjudicar la detección.
• Límites de la Varianza: Se demuestra que la probabilidad de detección no es monótona respecto a la varianza de estimación cuando el desplazamiento angular es grande, existiendo un punto óptimo de varianza que minimiza la detección (lo cual es favorable para el atacante).

5. Significado e Impacto

Este trabajo es pionero al aplicar la teoría de la Cota de Cramér-Rao Mal Especificada (MCRB) al contexto de seguridad en la capa física.

• Validación Teórica: Proporciona una justificación matemática rigurosa de por qué la AoA es una característica de autenticación confiable, incluso frente a atacantes sofisticados con múltiples antenas.
• Herramientas de Diseño: Las expresiones cerradas permiten a los ingenieros diseñar sistemas de autenticación optimizando parámetros como el tamaño del array ($M$) y el número de muestras ($K$) para cumplir con requisitos específicos de seguridad sin necesidad de simulaciones costosas.
• Futuro: El estudio sienta las bases para extensiones futuras que consideren canales de desvanecimiento multipath, interferencia multiusuario y estimación conjunta de CSI (Información de Estado del Canal) desconocida.

En conclusión, el paper demuestra que, bajo modelos realistas de canal y con parámetros de sistema típicos, la autenticación basada en AoA ofrece una defensa robusta contra ataques de suplantación, y cuantifica exactamente cuánto mejora esta defensa al aumentar la complejidad del hardware y la cantidad de datos procesados.