Apesar de o novo padrão WPA3 ainda não ter sido implementado de forma adequada, as falhas de segurança nesse protocolo permitem que invasores consigam quebrar senhas de Wi-Fi.
O protocolo Wi-Fi Protected Access III (WPA3) foi lançado na tentativa de corrigir as deficiências técnicas do protocolo WPA2, que por muito tempo foi considerado inseguro e vulnerável ao ataque KRACK (Key Reinstallation Attack). Embora o WPA3 use um handshake mais seguro, conhecido como Dragonfly, destinado a proteger redes Wi-Fi contra ataques de dicionário offline, os pesquisadores de segurança Mathy Vanhoef e Eyal Ronen descobriram vulnerabilidades na implementação inicial do WPA3-Personal, que podem permitir que um invasor recupere senhas de Wi-Fi explorando temporizações ou caches colaterais.
"Os invasores podem ler informações que deveriam ser criptografadas de forma segura pelo WPA3. Isso pode ser usado para roubar informações confidenciais, como números de cartões de crédito, senhas, mensagens de chat, e-mails etc."
No documento de pesquisa publicado hoje os pesquisadores examinaram em detalhes dois tipos de falhas de design no WPA3: a primeira leva a ataques de downgrade e a segunda a vazamentos de cache colateral.
Ataque colateral baseado em cache
O algoritmo de codificação de senhas no Dragonfly, também conhecido como algoritmo de 'hunt and peck', contém ramificações condicionais. Se um invasor puder determinar qual ramificação do if-then-else foi tomada, ele poderá saber se um elemento da senha foi encontrado em uma determinada iteração desse algoritmo. Na prática, descobriu-se que se um invasor conseguir executar código não privilegiado no computador da vítima, é possível usar ataques baseados em cache para determinar qual ramificação foi tomada na primeira iteração do algoritmo de geração de senha. Essas informações podem ser usadas para realizar um ataque de separação de senhas (semelhante a um ataque de dicionário offline).
Essa vulnerabilidade é rastreada usando o identificador CVE-2019-9494.
A proteção consiste em substituir ramificações condicionais que dependem de valores secretos por utilitários de seleção com tempo constante. As implementações também devem usar o cálculo com tempo constante.
Ataque por canal lateral baseado em sincronização
Quando o handshake Dragonfly utiliza certos grupos multiplicativos, o algoritmo de codificação de senha usa um número variável de iterações para codificar a senha. O número exato de iterações depende da senha utilizada e do endereço MAC do ponto de acesso e do cliente. Um invasor pode realizar um ataque de temporização remoto no algoritmo de codificação de senha para determinar quantas iterações foram necessárias para codificar a senha. As informações recuperadas podem ser usadas para realizar um ataque de senha semelhante a um ataque de dicionário off-line.
Para prevenir ataques baseados em sincronização, implementações devem desativar grupos multiplicativos vulneráveis. Do ponto de vista técnico, os grupos MODP 22, 23 e 24 devem ser desativados. Também é recomendado desativar os grupos MODP 1, 2 e 5.
Essa vulnerabilidade também é rastreada usando o identificador CVE-2019-9494 devido à semelhança na implementação do ataque.
Rebaixamento WPA3
Como o protocolo WPA2 de 15 anos foi amplamente utilizado por bilhões de dispositivos, a adoção generalizada do WPA3 não ocorrerá da noite para o dia. Para suportar dispositivos mais antigos, dispositivos certificados WPA3 oferecem um "modo de transição", que pode ser configurado para aceitar conexões usando tanto WPA3-SAE quanto WPA2.
Pesquisadores acreditam que o modo de transição é vulnerável a ataques de rebaixamento, que invasores podem usar para criar um ponto de acesso fraudulento que suporte apenas WPA2, forçando dispositivos compatíveis com WPA3 a se conectarem usando a insegura troca de quatro vias WPA2.
"Também descobrimos um ataque de rebaixamento contra o próprio handshake SAE ("Autenticação Simultânea de Iguales", geralmente conhecido como "Libélula"), onde podemos forçar um dispositivo a usar uma curva elíptica mais fraca do que o habitual", afirmam os pesquisadores.
Além disso, a posição de "homem no meio" não é necessária para conduzir um ataque de rebaixamento. Em vez disso, os invasores precisam apenas conhecer o SSID da rede WPA3-SAE.
Pesquisadores relataram seus resultados à Wi-Fi Alliance, uma organização sem fins lucrativos que certifica os padrões e produtos Wi-Fi, reconhecendo problemas e trabalhando com fornecedores para corrigir dispositivos existentes certificados com WPA3.
PoC (no momento da publicação — 404)
Como prova de conceito, os pesquisadores lançarão em breve quatro ferramentas distintas (nos repositórios do GitHub com o hiperlink abaixo) que podem ser usadas para verificar vulnerabilidades.
— uma ferramenta que pode verificar até que ponto um ponto de acesso é vulnerável a ataques de DoS no handshake WPA3 Dragonfly.
— uma ferramenta experimental para conduzir ataques temporais contra o handshake Dragonfly.
— uma ferramenta experimental que coleta informações para recuperação após ataques temporais e realiza um ataque de força bruta.
— uma ferramenta que executa ataques ao EAP-pwd.
Site do projeto —
Fonte: habr.com
