Operationalising Post Quantum TLS Automated Configuration Profiling and Hybrid PQC Deployment in Financial Infrastructure

Resumo Técnico: Operacionalização do TLS Pós-Quântico

Declaração do Problema
As organizações enfrentam um desafio operacional urgente na migração para Criptografia Pós-Quântica (PQC). Embora o NIST tenha finalizado padrões para encapsulamento de chaves (ML-KEM) e assinaturas digitais (ML-DSA), e esquemas de troca de chaves híbridas (por exemplo, X25519-ML-KEM-768) estejam disponíveis em bibliotecas principais, as equipes de segurança carecem da visibilidade e das metodologias repetíveis necessárias para operacionalizar essas mudanças em infraestruturas financeiras complexas e heterogêneas.

O gargalo central não é algorítmico, mas operacional. Em ambientes bancários, a Segurança da Camada de Transporte (TLS) é terminada em dezenas a centenas de pontos de extremidade distribuídos (servidores web, gateways de API, balanceadores de carga, proxies reversos). Os scanners atuais em nível de rede são insuficientes porque apenas observam os handshakes negociados; eles não revelam suites de cifras permitidas, mas não invocadas, protocolos de fallback ou referências de chaves apoiadas por HSM declaradas em arquivos de configuração. Sem um inventário preciso e legível por máquina da postura criptográfica atual, as organizações não podem planejar ou executar com confiança uma migração, deixando-as vulneráveis a ataques "coletar-agora, descriptografar-depois" (HNDL).

Metodologia
O artigo propõe uma abordagem de três partes para abordar essa lacuna de visibilidade e demonstrar a implantação prática:

1. Framework Automatizado de Análise de Configuração:
   Os autores projetaram um framework determinístico para extrair e normalizar configurações TLS diretamente de arquivos de origem, em vez de sondas de rede. O pipeline consiste em três etapas:

   • Analisar: Analisadores específicos de tecnologia (para Nginx, Apache e Spring Boot) leem arquivos de configuração brutos, resolvendo semânticas de herança e diretivas específicas do fornecedor.
   • Normalizar: Os dados extraídos são transformados em um Modelo Unificado de TLS (UTM), um esquema agnóstico à tecnologia. Crucialmente, cada campo no UTM inclui um rastro derived_from que vincula o valor normalizado de volta à diretiva específica e à localização do arquivo, garantindo proveniência total.
   • Comparar: O UTM é avaliado contra políticas de segurança (por exemplo, NIST SP 800-52, PCI-DSS e políticas personalizadas de prontidão quântica) para classificar riscos e identificar vulnerabilidades. O framework também detecta configurações apoiadas por HSM identificando URIs PKCS#11, o que é crítico para o planejamento de migração.

2. Estudo de Medição em Grande Escala:
   A metodologia foi aplicada a um corpus de 8.443 arquivos de configuração Nginx do mundo real coletados de repositórios públicos do GitHub. O conjunto de dados foi dividido em repositórios "ativos" e "arquivados" para analisar a degradação da configuração. O estudo focou na adoção de protocolos, higiene de suites de cifras, categorias de troca de chaves e gerenciamento de certificados.

3. Implantação de Prova de Conceito (PoC):
   O framework foi implantado em um ambiente semelhante à produção no OCBC Bank. A equipe implementou troca de chaves PQC híbrida (ML-KEM-512 e X25519-ML-KEM-768) em dois pontos críticos de terminação TLS: um servidor web Apache de acesso público e um gateway de API baseado em Java Spring Boot. A implantação utilizou o provedor Open Quantum Safe (OQS) para o OpenSSL e o provedor PQC BouncyCastle para a Arquitetura de Criptografia Java (JCA), exigindo zero alterações no código da aplicação bancária subjacente.

Principais Resultados

• Descobertas de Medição (O "Estado do TLS no Mundo Real"):

  • Vulnerabilidade Quântica: 100% das configurações medidas dependem de troca de chaves vulnerável a quânticos. Notavelmente, 28,9% usam troca de chaves RSA, que carece de sigilo futuro, o que significa que qualquer sessão gravada pode ser descriptografada retroativamente se a chave privada do servidor for comprometida (mesmo sem um computador quântico).
  • Adoção de PQC: A adoção de troca de chaves híbridas pós-quânticas foi efetivamente zero (0,0%), com apenas quatro configurações em todo o corpus usando a curva X25519-ML-KEM-768.
  • Persistência de Legado: Apesar da descontinuação formal, 21,8% das configurações ainda permitem TLS 1.0 ou 1.1.
  • Degradação de Configuração: Repositórios arquivados mostraram higiene TLS significativamente pior do que os ativos, com taxas mais altas de predefinições de cifras legadas e desvio de configuração.
  • Lacunas de Higiene: 37,6% dos contextos configurados explicitamente incluíam pelo menos um token de cifra fraco. Apenas 38,2% configuraram HSTS, deixando os servidores vulneráveis a SSL stripping.

• Desempenho da Implantação:

  • A implantação PQC híbrida no banco introduziu sobrecarga gerenciável. O tempo médio de estabelecimento de conexão (TCP + handshake TLS) aumentou aproximadamente 23% (de 24,7 ms para 30,4 ms).
  • A latência de ponta a ponta da solicitação aumentou apenas ~1,3%, e o throughput por cliente diminuiu ~1,6%.
  • A implantação resultou em zero erros em todas as execuções de teste com 100 clientes concorrentes, demonstrando que a PQC pode ser integrada sem interromper a lógica da aplicação.

Significado e Alegações
O artigo argumenta que a principal barreira para a migração de PQC é a visibilidade operacional, e não a prontidão algorítmica. Os autores afirmam que suas contribuições fornecem um caminho prático e baseado em evidências para que as organizações passem da incerteza para a execução:

1. Visibilidade: O framework de análise de configuração fornece o primeiro método determinístico para gerar um inventário criptográfico unificado e com rastreamento de proveniência em pilhas empresariais heterogêneas, revelando riscos que os scanners de rede ignoram.
2. Linha de Base: A medição em grande escala estabelece uma linha de base empírica crítica, demonstrando que a atual "superfície de vulnerabilidade quântica" é universal e que a indústria está muito atrasada na adoção de trocas de chaves híbridas.
3. Viabilidade: A implantação no OCBC prova que a PQC híbrida pode ser operacionalizada em uma arquitetura financeira de múltiplos níveis com zero alterações na camada de aplicação e sobrecarga de desempenho aceitável.

Os autores concluem que as estratégias de migração devem começar na camada mais externa de terminação TLS (balanceadores de carga, gateways, servidores web) e avançar para dentro, pois é onde o perímetro criptográfico é distribuído e onde a visibilidade em nível de configuração é mais crítica. Eles enfatizam que, embora existam padrões e implementações de referência, as organizações não podem migrar com confiança até saberem exatamente qual criptografia sua infraestrutura está configurada para usar atualmente.