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

Título: Sobre a Robustez do Ângulo de Chegada (AoA) como Característica de Autenticação sob Ataques de Falsificação: Limites Fundamentais da Teoria de Cramér–Rao Especificada

1. Problema Investigado

O artigo aborda a segurança em camadas físicas (Physical-Layer Authentication - PLA) em sistemas de comunicação sem fio, especificamente focando na robustez da autenticação baseada no Ângulo de Chegada (AoA) contra ataques de falsificação (spoofing).

• Cenário: Um verificador utiliza uma Rede Linear Uniforme (ULA) para estimar o AoA de um usuário legítimo.
• Ameaça: Um adversário (spoofers) com múltiplas antenas tenta se passar pelo usuário legítimo, transmitindo um sinal precodificado de uma direção diferente.
• Desafio: O verificador assume um modelo de "fonte única" (usuário legítimo), enquanto o sinal recebido é gerado por um modelo "multifonte" (adversário). Isso cria uma mismatch de modelo (especificação incorreta).
• Lacuna: Estudos anteriores demonstraram empiricamente que o AoA é robusto, mas não forneceram limites analíticos fechados para a precisão da autenticação, probabilidades de detecção de falsificação, falsos alarmes e detecções perdidas sob essas condições de mismatch.

2. Metodologia

Os autores formulam o problema de estimação de AoA sob ataque como um problema de estimação especificada incorretamente (misspecified estimation). A abordagem central baseia-se no Limite de Cramér–Rao Especificado (MCRB - Misspecified Cramér–Rao Bound).

• Modelos de Sinal:
  • Modelo Assumido (Legítimo): Um único nó com uma antena e um AoA fixo $\theta_u$.
  • Modelo Verdadeiro (Falsificado): Um adversário com $L$ antenas, usando um vetor de precodificação $\mathbf{q}$, gerando um sinal composto de múltiplas fontes em diferentes ângulos $\theta^A_\ell$.
• Ferramenta Teórica (MCRB):
  • Em vez de usar o CRB padrão (que assume que o modelo está correto), os autores derivam o MCRB, que caracteriza a variância mínima de um estimador quando o modelo de verificação não corresponde à realidade dos dados.
  • Definem um parâmetro pseudo-verdadeiro ($\theta_0$), que é o valor de AoA que minimiza a divergência de Kullback–Leibler entre a distribuição real (ataque) e a distribuição assumida.
• Teste de Hipótese:
  • A autenticação é modelada como um teste de hipótese binária ($H_0$: legítimo vs. $H_1$: ataque).
  • O verificador estima o AoA ($\hat{\theta}$) e compara a diferença $|\hat{\theta} - \theta_u|$ com um limiar $\tau$.
  • Derivam expressões analíticas fechadas para as probabilidades de:
    • Falso Alarme ($P_{FA}$).
    • Detecção Perdida ($P_{MD}$).
    • Detecção de Falsificação ($P_{SD}$).

3. Principais Contribuições

1. Formulação como Problema de Especificação Incorreta: A primeira proposta de usar a estrutura do MCRB para derivar expressões fechadas para a robustez de autenticação AoA sob spoofing.
2. Derivação de Limites Fechados: Obtenção de fórmulas analíticas para o MCRB, o parâmetro pseudo-verdadeiro $\theta_0$, o limiar de decisão $\tau$, e as probabilidades de erro de autenticação.
3. Análise Assintótica: Identificação dos limites fundamentais do sistema quando o número de snapshots (amostras) $K$ tende ao infinito.
   • Demonstraram que, se o ângulo do adversário for diferente do legítimo ($|\delta| > 0$), a probabilidade de detecção de falsificação tende a 1 e a de detecção perdida a 0, independentemente do número de antenas do atacante, desde que o SNR seja suficiente.
4. Análise de Sensibilidade à Variância: Estudo de como a variância do estimador afeta a probabilidade de detecção, mostrando que existe um ponto ótimo de variância para a detecção quando o deslocamento angular é grande.

4. Resultados das Simulações

Os resultados foram validados via simulações de Monte Carlo e comparados com as previsões teóricas, mostrando uma correspondência quase perfeita.

• Impacto do SNR: A probabilidade de detecção de falsificação ($P_{SD}$) aumenta com o SNR. Um SNR de apenas 5 dB é suficiente para identificar com certeza um falsificador com um deslocamento angular de apenas $0.25^\circ$.
• Geometria da Rede (M): O aumento do número de antenas no verificador ($M$) melhora drasticamente a detecção. Com $M \ge 16$, o sistema atinge desempenho quase perfeito para deslocamentos menores que $1^\circ$.
• Número de Snapshots (K): O aumento de $K$ também melhora a detecção, embora de forma menos acentuada que o aumento de $M$. Mesmo com poucas amostras ($K=2$), o desempenho é robusto se $M$ for suficientemente grande.
• Precodificação do Atacante:
  • Se o atacante usar ganho igual (fase constante), o número de antenas do atacante ($L$) não altera significativamente a detecção.
  • Se houver variação de fase (precodificação aleatória), o efeito de $L$ depende do deslocamento angular $\Delta$. Para pequenos $\Delta$, a variância reduzida pode ajudar o atacante; para grandes $\Delta$, prejudica-o.
• Robustez: O sistema mantém a taxa de falso alarme ($P_{FA}$) próxima ao nível alvo ($\alpha = 10^{-3}$) em todas as configurações testadas.

5. Significado e Conclusão

O trabalho estabelece fundamentos teóricos rigorosos para a segurança em camadas físicas baseada em AoA.

• Conclusão Principal: O AoA é uma característica de autenticação robusta e confiável contra ataques de falsificação, mesmo quando o atacante possui múltiplas antenas e técnicas avançadas de precodificação. A robustez é garantida pela impossibilidade de um atacante com múltiplas antenas imitar perfeitamente o campo de onda de uma única fonte de uma direção diferente, criando uma "assinatura" estatística detectável via MCRB.
• Impacto Futuro: Os resultados fornecem diretrizes para o projeto de sistemas 6G e de localização integrada (ISAC), indicando que o uso de arrays de antenas com tamanho moderado e processamento de múltiplos snapshots pode garantir autenticação forte sem necessidade de chaves criptográficas complexas.
• Trabalhos Futuros: Os autores planejam estender a análise para cenários com CSI (Channel State Information) desconhecida, desvanecimento multipath e interferência multiusuário.

Em suma, o artigo preenche uma lacuna crítica na literatura ao fornecer as ferramentas matemáticas necessárias para quantificar e garantir a segurança de sistemas de autenticação baseados em localização espacial.