Evaluating Future Air Traffic Management Security

Resumo Técnico: Avaliação da Segurança no Gerenciamento de Tráfego Aéreo Futuro (LDACS)

Título: Avaliando a Segurança do Futuro Gerenciamento de Tráfego Aéreo
Autor: Konstantinos Spalas (MSc em Ciência da Computação)
Evento: 1ª Conferência de Estudantes do DIT, Universidade do Peloponeso, Tripoli
Data: 11 de junho de 2025

1. Problema

O sistema atual de comunicação entre aeronaves e torres de controle utiliza sinais de RF analógicos, que enfrentam dois desafios críticos:

• Congestionamento de Espectro: A crescente densidade de tráfego aéreo, especialmente em aeroportos populares, exige uma modernização da infraestrutura de comunicação para mitigar riscos de colisão e perda de contato.
• Vulnerabilidade Cibernética: Os sistemas atuais carecem de resiliência contra ataques cibernéticos.

Para resolver isso, o projeto SESAR (Single European Sky ATM Research) propõe o LDACS (Sistema de Comunicação Digital de Aviação em Banda L), que visa digitalizar as comunicações e integrar criptografia pós-quântica. O foco deste trabalho é avaliar uma proposta específica de autenticação para o LDACS baseada em Funções de Uncloneabilidade Física (PUFs). O autor identifica que, embora as PUFs sejam promissoras para segurança de hardware, elas apresentam vulnerabilidades significativas frente a:

1. Modelos de Aprendizado de Máquina (ML) avançados.
2. Computação Quântica futura.
3. Envelhecimento físico do hardware (aging).

2. Metodologia

O trabalho adota uma abordagem de análise de segurança baseada em cenários de ataque e avaliação de vulnerabilidades teóricas:

• Análise do Protocolo de Autenticação: O autor descreve o protocolo de autenticação baseado em PUF, que envolve uma fase de registro offline (onde a aeronave e a torre compartilham atributos criptográficos) e uma fase de autenticação online. O protocolo utiliza um Challenge-Response (Desafio-Resposta) onde a resposta $R$ é gerada pela PUF a partir de um desafio $C$.
• Modelagem de Ataques:
  • Ataque 1 (ML - CMA-ES): Simula um cenário onde um adversário intercepta mensagens públicas (como o valor hash $\tau$ e o endereço ICAO) e utiliza o algoritmo evolutivo CMA-ES (Covariance Matrix Adaptation Evolution Strategy) para treinar um modelo capaz de prever o comportamento da PUF (mapear $C \to R$). O autor calcula a viabilidade de corrigir erros de previsão (bit flips) usando computação clássica.
  • Ataque 2 (Computação Quântica): Avalia o uso de algoritmos quânticos de pré-imagem (baseados no algoritmo de Grover) para realizar uma busca exaustiva (brute-force) na resposta $R$ de 128 bits, reduzindo a complexidade de $O(2^{128})$ para $O(2^{42})$, tornando o ataque viável no futuro próximo.
  • Análise de Envelhecimento: Investiga o impacto do aging (envelhecimento) das PUFs, que aumenta a taxa de erro em 19% a cada dois anos, comprometendo a estabilidade do sistema de autenticação.

3. Principais Contribuições

• Identificação de Vulnerabilidades em PUFs para Aviação: O trabalho demonstra que a autenticação baseada em PUFs no LDACS não é imune a ataques sofisticados. Especificamente, mostra que a combinação de dados públicos (ICAO e $\tau$) com modelos de ML pode permitir a reconstrução de pares de desafio-resposta secretos.
• Análise de Viabilidade Computacional: O autor quantifica o custo computacional para quebrar a segurança:
  • Para PUFs de 128 bits com 2% de erro de previsão, o número de permutações necessárias para corrigir os erros é de aproximadamente $16 \times 10^3$, viável em computadores clássicos.
  • Para PUFs de 192 bits com 3% de erro, o custo é de $7 \times 10^6$, também viável.
• Proposta de Alternativa Robusta: O trabalho rejeita a PUF como solução única para o LDACS e propõe a adoção de uma Infraestrutura de Chave Pública (PKI) baseada em Criptografia Pós-Quântica (PQC) como alternativa superior.

4. Resultados

• Falha na Segurança da PUF: A análise conclui que a autenticação baseada em PUF é vulnerável. Um adversário pode, com alta probabilidade (98% de precisão no modelo CMA-ES), prever a resposta da PUF e, subsequentemente, calcular o valor hash $\tau$ para realizar ataques de impersonificação (falsificação de identidade).
• Risco Quântico: A segurança do protocolo é comprometida pela futura capacidade dos computadores quânticos, que podem reduzir drasticamente o tempo necessário para encontrar a resposta correta $R$ a partir do hash $\tau$.
• Instabilidade Operacional: O fenômeno de envelhecimento das PUFs introduz riscos de indisponibilidade do sistema, onde a autenticação falha devido a mudanças nas características físicas do hardware ao longo do tempo.

5. Significado e Conclusão

Este estudo é crucial para o desenvolvimento seguro do futuro gerenciamento de tráfego aéreo (ATM). Ele alerta que a simples adoção de tecnologias de hardware "seguro por natureza" (como PUFs) não é suficiente sem considerar a evolução das capacidades de ataque (ML e Quântica).

A conclusão principal é que, para garantir a segurança, a baixa latência e a resiliência necessárias no ambiente LDACS, a indústria deve migrar para uma PKI baseada em Criptografia Pós-Quântica (PQC). Esta abordagem oferece uma proteção mais robusta contra ataques de previsão de ML e ameaças quânticas, além de evitar os problemas de estabilidade física associados ao envelhecimento de componentes de hardware PUF. O trabalho serve como um alerta para que os padrões de segurança da aviação não dependam exclusivamente de primitivas de hardware vulneráveis a modelagem estatística e computação quântica.