Aquaman: A Transparent Proxy Architecture for Quantum Resilient Key Establishment

Resumo Técnico: Aquaman

Declaração do Problema
O artigo aborda a ameaça "colher-agora, descriptografar-depois" (HNDL), na qual adversários interceptam e arquivam texto cifrado hoje para descriptografá-lo retrospectivamente assim que computadores quânticos tolerantes a falhas (CRQCs) se tornarem disponíveis. Isso torna as primitivas de chave pública atuais (RSA, Diffie–Hellman, ECC) insuficientes para dados que exigem confidencialidade de longo prazo. Embora a Criptografia Pós-Quântica (PQC) esteja sendo padronizada (por exemplo, NIST FIPS 203/204/205), a adoção universal imediata enfrenta atrito operacional significativo: hardware legado não pode ser facilmente atualizado, novas implementações de PQC demonstraram vulnerabilidades inesperadas (por exemplo, a quebra do SIKE), e as primitivas de PQC introduzem tamanhos maiores de chave/texto cifrado que sobrecarregam protocolos com limitação de largura de banda. Consequentemente, há uma necessidade de um mecanismo de estabelecimento de chave resiliente a quânticos que possa ser implantado em ambientes que carecem de pilhas de software compatíveis com PQC.

Metodologia e Arquitetura do Sistema
Os autores propõem o Aquaman, uma arquitetura de proxy transparente para estabelecimento de chave de sessão resiliente a quânticos. Diferentemente de proxies explícitos que exigem configuração do cliente, o Aquaman opera na borda da rede de uma rede confiável, interceptando solicitações de chave de sessão sem modificar dispositivos do cliente. O sistema compreende três componentes lógicos:

1. Servidor de Gerenciamento de Chaves Quânticas (QKMS): Gera chaves de sessão, fragmenta-as e as distribui através de canais heterogêneos.
2. Proxy Transparente: Intercepta o tráfego do cliente, encaminha solicitações ao QKMS, agrega fragmentos recebidos por meio de diversos canais e encaminha a chave reconstruída ao cliente. Crucialmente, o proxy nunca vê a chave em texto plano.
3. Cliente: Solicita chaves e as reconstrói a partir dos fragmentos recebidos.

O Aquaman suporta quatro modos de operação, embora o artigo se concentre na implementação e avaliação dos dois primeiros:

• Modo 1 (PQC Transferido): Clientes sem PQC conectam-se classicamente ao proxy, que realiza operações de Mecanismo de Encapsulamento de Chave (KEM) de PQC com o QKMS em nome do cliente.
• Modo 2 (Multi-caminho Clássico): Quando nenhuma parte confia no PQC, o sistema divide a chave de sessão em $n$ fragmentos de texto cifrado. Esses fragmentos são distribuídos através de meios de transmissão estruturalmente diversos (por exemplo, Wi-Fi, Bluetooth, NFC, celular, Ethernet). A reconstrução requer todos os fragmentos.
• Modos 3 e 4 (Não Implementados): O artigo discute, mas não implementa, a entrega de chaves QKD (via interfaces SKIP/ETSI) e handshakes híbridos clássico/PQC, observando que estes são bem cobertos na literatura existente.

Modelo de Segurança e Argumento Formal
A segurança do modo multi-caminho do Aquaman (Modo 2) não depende da dificuldade computacional de um único algoritmo contra ataques quânticos. Em vez disso, depende da impossibilidade prática de um adversário comprometer simultaneamente todos os canais em um conjunto estruturalmente diverso.

• Modelo de Ameaça: O adversário possui um "orçamento de capacidade" limitado $B$ para comprometer $d$ tipos distintos de meio. Comprometer diferentes meios (por exemplo, Wi-Fi vs. NFC) requer proximidade física distinta, hardware e pegadas operacionais distintas.
• Prova Formal: Os autores formalizam a probabilidade de recuperação. Se uma chave é dividida em $n$ fragmentos distribuídos uniformemente através de $d$ tipos de meio, e o adversário pode comprometer totalmente um orçamento de $B$ tipos de meio, a probabilidade de recuperar a chave decai como $(B/d)^n$.
• Teorema 1: O artigo prova que, com distribuição uniforme de fragmentos, a probabilidade máxima de recuperação é minimizada quando os fragmentos são distribuídos uniformemente, e essa probabilidade decai exponencialmente com a dimensão de diversidade $d$.

Contribuições Principais

1. Arquitetura de Proxy Transparente: Um design inovador que estende a resiliência quântica a clientes legados que carecem de pilhas de PQC, transferindo o estabelecimento de chaves para a borda da rede.
2. Fragmentação de Chave Multi-caminho: Um mecanismo que divide chaves de sessão através de meios físicos heterogêneos (não apenas caminhos IP), aproveitando o alto custo para um adversário comprometer simultaneamente tipos de transmissão diversos.
3. Análise de Segurança Formal: Um modelo baseado em capacidade que prova que a probabilidade de recuperação de chave diminui exponencialmente com a diversidade dos meios de transmissão, independentemente de suposições específicas de dificuldade algorítmica.
4. Implementação de Protótipo: Um protótipo funcional implementado em Python (Flask) e implantado na AWS EC2, suportando canais Wi-Fi e Bluetooth, com um mecanismo de inicialização baseado em NFC para estabelecimento de confiança inicial.

Resultados da Avaliação
Os autores realizaram 1.000 execuções do protótipo para avaliar a latência:

• Dominância de Latência: A latência de ponta a ponta é dominada pelo tempo de transmissão de rede, e não pela sobrecarga criptográfica de fragmentação, embaralhamento ou distribuição multi-caminho.
• Sobrecarga de PQC: Em cenários que utilizam um KEM PQ (Modo 1), a latência adicional foi limitada (aproximadamente 100–300 ms) e amplamente paralelizável com o trânsito de rede.
• Gargalo de Descriptografia: No cenário sem PQ, a descriptografia assimétrica por fragmento foi o principal custo computacional (aproximadamente 717 ms). Os autores observam que isso pode ser otimizado usando criptografia simétrica para fragmentos envoltos por uma única chave assimétrica, reduzindo o tempo de descriptografia para microssegundos (como observado no cenário PQ, onde o túnel já é simétrico).

Significado e Afirmações
O artigo afirma que o Aquaman demonstra um caminho prático para alcançar confidencialidade de chave de sessão contra adversários quânticos hoje, usando meios clássicos comerciais.

• Complementaridade: O design é apresentado como complementar à migração da trilha de padronização para PQC. Pode servir como uma proteção independente em ambientes incapazes de PQ ou como uma camada de "defesa em profundidade" empilhada sobre KEMs de PQC para sobreviver a possíveis quebras futuras em implementações específicas de PQC.
• Viabilidade Operacional: A avaliação sugere que a sobrecarga multi-caminho é negligenciável em comparação com a transmissão de rede padrão, tornando a arquitetura implantável sem penalidades de desempenho significativas.
• Modéstia: Os autores afirmam explicitamente que os Modos 3 e 4 não foram implementados e que o modelo de segurança assume comprometimento independente de tipos de meio, reconhecendo que capacidades correlacionadas (por exemplo, um estado-nação controlando múltiplos tipos de infraestrutura) exigiriam modelagem adicional. O trabalho foca na novidade arquitetural do proxy e no mecanismo multi-caminho, em vez de introduzir novas primitivas criptográficas.