Physical Layer Authentication With Channel Knowledge Maps in Indoor Environments

Resumo Técnico: Autenticação na Camada Física com Mapas de Conhecimento de Canal em Ambientes Internos

Definição do Problema
A Autenticação na Camada Física (PLA) tipicamente autentica usuários comparando medições de canal ao longo do tempo, baseando-se em suposições de consistência temporal ou evolução modelada. No entanto, essas suposições tornam-se problemáticas para dispositivos móveis em ambientes internos. Em tais configurações, a propagação de múltiplos caminhos e obstruções de sinal (ex: móveis, pessoas) fazem com que os componentes de não-linha de visada (NLoS) predominem, tornando as estatísticas do canal variantes no tempo e difíceis de modelar analiticamente. Os métodos de PLA existentes têm dificuldade em obter os modelos analíticos a priori necessários para a verificação quando os usuários são móveis ou estão em espaços internos complexos. Além disso, embora os Mapas de Conhecimento de Canal (CKMs) tenham sido propostos para comunicação consciente do ambiente, sua aplicação à autenticação permanece subexplorada, particularmente para dispositivos móveis onde o verificador não conhece a trajetória exata do usuário antecipadamente.

Metodologia
O artigo propõe um mecanismo de PLA para dispositivos móveis em ambientes internos que utiliza CKMs pré-coletados para eliminar a necessidade de um modelo de canal analítico.

• Modelo do Sistema: O cenário envolve um verificador (Bob) controlando múltiplos Pontos de Acesso (APs) com Matrizes Lineares Uniformes (ULAs), e dois usuários de antena única: um usuário legítimo (Alice) e um atacante (Trudy). Os APs estimam a Perda de Percurso (PL) do componente de canal dominante e o Ângulo de Chegada (AoA) a partir de sinais piloto recebidos.
• Mapa de Conhecimento de Canal (CKM): Bob possui um CKM sem ruído derivado (ex: via ray tracing) que mapeia as localizações do usuário $p$ para características de canal esperadas $\phi(p) = \{r(p), \theta(p)\}$, onde $r$ é a PL e $\theta$ é o AoA.
• Restrições de Movimento: A trajetória exata de Alice é desconhecida para Bob e Trudy. No entanto, ambos conhecem a velocidade máxima $\nu$ de Alice. Consequentemente, em qualquer passo de tempo $k$, a posição de Alice está restrita a uma janela quadrada $P_k$ centrada em sua posição estimada anterior.
• Mecanismo de Autenticação:
  1. Bob estima as características atuais do canal $\hat{\phi}^{(k)}$ a partir do sinal recebido.
  2. Bob realiza um teste de hipótese para decidir se o sinal se origina de Alice ($H_0$) ou de Trudy ($H_1$).
  3. Duas abordagens de teste são avaliadas:
     • Teste de Verossimilhança (LT): Calcula a verossimilhança máxima da observação dado que o usuário está dentro da janela de movimento válida $P_k$.
     • Teste de Razão de Verossimilhança Generalizado (GLRT): Compara a verossimilhança máxima dentro de $P_k$ contra a verossimilhança máxima fora de $P_k$ (representando o pior caso de ataque).
  4. Se a estatística de teste exceder um limiar $\xi$, o sinal é autenticado e a posição de Alice é atualizada via um procedimento de Máxima Verossimilhança a Posteriori (MAP).
• Estratégias de Ataque: Os autores analisam três vetores de ataque:
  1. Posição Aleatória: Trudy transmite de uma localização aleatória na sala.
  2. Ataque Informado: Trudy conhece o CKM e a posição anterior de Alice, movendo-se para a localização ideal dentro de uma janela limitada $W_T$ para maximizar o sucesso da falsificação.
  3. Ataque de Mapa Total: Trudy possui conhecimento total do CKM e pode mover-se instantaneamente para qualquer posição na sala (excluindo $P_k$) para maximizar a verossimilhança do sinal falsificado.

Principais Contribuições

• Protocolo Inovador: O artigo projeta um protocolo de PLA especificamente para dispositivos móveis em ambientes internos que utiliza CKMs para contornar a necessidade de modelagem de canal analítica complexa.
• Análise de Segurança: Uma análise de segurança abrangente é conduzida sob cenários de ataque aleatório e ótimo (informado/mapa total).
• Testes Comparativos: O estudo compara o desempenho de LT e GLRT, analisando suas respectivas vulnerabilidades a diferentes tipos de ataque.
• Validação: A abordagem é validada usando resultados numéricos em um cenário interno representativo onde os CKMs são gerados via ray tracing.

Resultados Numéricos
As simulações foram conduzidas em uma sala de $8 \times 5 \times 3$ m$^3$ com 4 APs e 4 antenas cada, utilizando ferramentas de ray-tracing do MATLAB.

• Impacto dos APs e Ruído: O desempenho de autenticação (medido por Detecção Perdida vs. Falso Positivo) melhora com um aumento no número de APs e diminuição do ruído de estimativa. Menos APs levam a mais obstruções e comportamento de "platô" no desempenho de detecção.
• Desempenho do Ataque:
  • O Ataque de Posição Aleatória gera o pior desempenho para o atacante.
    endo o Ataque de Mapa Total fornece o melhor desempenho para o atacante, servindo como um limite superior.
  • O Ataque Informado escala seu desempenho com a janela de movimento do atacante ($W_T$). Quando o atacante se move tanto quanto Alice ($W_T = W_A$), a probabilidade de Detecção Perdida ($P_{MD}$) é aproximadamente $2 \cdot 10^{-2}$ para uma taxa de Falso Positivo ($P_{FA}$) de $10^{-2}$.
• LT vs. GLRT: A mudança de LT para GLRT torna o detector mais vulnerável a ataques de posição aleatória (pois o denominador na razão GLRT pode tornar-se pequeno para medições aleatórias), mas reduz a taxa de sucesso do Ataque de Mapa Total. No entanto, o GLRT não elimina completamente a ameaça do Ataque de Mapa Total.
• Eficácia Geral: Em um cenário de ataque de posição aleatória, o sistema atinge $P_{MD} = P_{FA} = 3 \cdot 10^{-3}$. Sob um ataque de mapa total, o sistema garante $P_{MD} = P_{FA} = 6 \cdot 10^{-3}$.

Significância e Alegações
Os autores alegam que a abordagem proposta valida efetivamente a PLA para dispositivos móveis em ambientes internos ao remover a dependência de modelos analíticos a priori. O uso de CKMs permite que o sistema verifique a consistência entre as características de canal observadas e a vizinhança espacial da localização anteriormente conhecida do usuário. O artigo conclui que o protocolo é eficaz contra os ataques considerados, com resultados numéricos confirmando sua viabilidade em um ambiente interno simulado por ray-tracing. O trabalho é apresentado como um passo em direção à comunicação consciente do ambiente em redes 6G, aproveitando o conhecimento prévio do ambiente para segurança. Os autores observam que o estudo foca na autenticação de etapa única e deixa a análise do desempenho sobre passos subsequentes de trajetória como trabalho futuro.