Capítulo 11 — Redes e protocolos
Mapa da aula
Aula 11 publicada. Mapa, exemplo, EX021.
flowchart TD
N0["11.1 TLS 1.3"]
N1["11.2 O tamanho e a rede"]
N2["11.3 Outros protocolos"]
N3["11.4 Ossificação"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX021"]
Desenho lógico
flowchart LR
N0["11.1 TLS 1.3"]
N1["11.2 O tamanho e a rede"]
N2["11.3 Outros protocolos"]
N3["11.4 Ossificação"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX021"]
[11.1 TLS 1.3]
|
v
[11.2 O tamanho e a rede]
|
v
[11.3 Outros protocolos]
|
v
[11.4 Ossificação]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX021]
Objetivos de aprendizagem
Você vai (1) acompanhar um handshake do TLS 1.3 e identificar onde acontecem a troca de chaves e a autenticação; (2) explicar como o tamanho dos pacotes, a MTU e a fragmentação interagem com mensagens pós-quânticas maiores; (3) descrever o IKEv2, o SSH e o DNSSEC do ponto de vista da migração; e (4) reconhecer a ossificação dos middleboxes. O capítulo prepara a integração (Capítulo 34) e o desempenho (Capítulo 36).
11.1 TLS 1.3
No TLS 1.3 (RFC 8446), o cliente envia um ClientHello com compartilhamentos de chave para um ou mais grupos; o servidor responde com o seu compartilhamento, e ambos derivam as chaves do segredo compartilhado. Em seguida, o servidor envia, cifrados, a sua cadeia de certificados e uma assinatura CertificateVerify. A troca de chaves protege a confidencialidade contra a gravação; os certificados e as assinaturas fornecem a autenticação no momento da conexão. Grupos híbridos como o X25519MLKEM768 (RFC 10024) mudam apenas a parte do compartilhamento de chave: o compartilhamento do cliente cresce de 32 para 1.216 bytes, o do servidor para 1.120 bytes.
11.2 O tamanho e a rede
Um caminho Ethernet normalmente transporta pacotes IP de 1.500 bytes, cerca de 1.460 bytes de carga útil TCP. Um ClientHello com compartilhamento híbrido muitas vezes passa disso e precisa de dois segmentos TCP. O TCP lida com isso de forma transparente, mas alguns middleboxes e servidores inspecionam apenas o primeiro pacote. O Google relatou incompatibilidades desse tipo quando o Chrome passou a oferecer o Kyber híbrido (Chromium Blog 2023). Sobre UDP (QUIC, DTLS, IKEv2), mensagens maiores levantam problemas de fragmentação e de limite de amplificação que os projetistas de protocolos tratam explicitamente.
Os testes, portanto, cobrem o caminho inteiro, incluindo proxies e balanceadores de carga.
11.3 Outros protocolos
As VPNs IKEv2 acrescentam troca de chaves pós-quântica por meio de trocas adicionais (o RFC 9370 define múltiplas trocas de chaves no IKEv2). As implementações de SSH já implantaram métodos híbridos de troca de chaves que combinam um KEM de reticulados com o X25519. O DNSSEC é sobretudo um problema de assinaturas: as assinaturas pós-quânticas são muito maiores do que as assinaturas ECDSA atuais, o que sobrecarrega as respostas UDP.
Cada protocolo precisa do seu próprio plano. A VPN site a site da BPA pode acrescentar uma troca ML-KEM pelo RFC 9370 assim que os dois gateways a suportarem; a administração por SSH pode passar a um método híbrido com uma mudança de configuração em servidores e clientes; o DNSSEC precisa esperar por normas que encaixem assinaturas grandes nas respostas DNS, então permanece no inventário como uma dependência acompanhada.
11.4 Ossificação
Quando os middleboxes supõem que os campos de um protocolo nunca mudam, valores novos quebram as conexões. O TLS 1.3 introduziu o GREASE (RFC 8701) — valores reservados aleatórios — para manter as implementações tolerantes. A migração pós-quântica é um teste de ossificação: o protocolo a permite, mas os equipamentos implantados talvez não.
O plano de testes da BPA envia ClientHellos híbridos por todos os dispositivos de inspeção no caminho até os portais dos parceiros antes de ativá-los. Um dispositivo que reinicia a conexão é registrado com a sua versão de firmware, e o fornecedor é chamado a corrigi-lo. Isso transforma a ossificação de uma interrupção surpresa numa lista de itens conhecidos, com responsáveis e datas.
11.5 Exemplo resolvido
A equipe do terminal da BPA relata que o portal de uma companhia de navegação falha através do proxy de inspeção antigo depois da ativação de um grupo híbrido. Os traces de pacotes mostram o proxy reiniciando as conexões cujo ClientHello ocupa dois segmentos. Opções: atualizar o firmware do proxy, desviar a inspeção para aquele destino ou desativar temporariamente o grupo híbrido apenas naquele caminho enquanto o fornecedor o corrige — mantendo-o em todos os outros.
A exceção direcionada é a escolha certa, porque a falha do proxy afeta apenas um caminho, enquanto o risco de coleta vale para todo o tráfego. A exceção é registrada com data de expiração e responsável, para que não se torne permanente. Depois de instalado o firmware do fornecedor, o teste do laboratório é refeito antes de o grupo híbrido ser reativado naquele caminho.
11.6 Erros comuns e limites
- Supor que a troca de chaves híbrida também migra os certificados.
- Esquecer os limites de tamanho dos protocolos UDP.
- Reverter a PQC globalmente por causa de uma falha local de middlebox.
A troca de chaves híbrida protege o tráfego gravado, mas deixa a autenticação em certificados RSA ou ECDSA, que precisam da sua própria migração. Protocolos UDP como o QUIC e o IKEv2 precisam tratar o tamanho explicitamente, porque não têm a segmentação do TCP. Uma reversão global por causa de um proxy joga fora a proteção de todos os outros caminhos, como mostrou o caso do portal da companhia de navegação; uma exceção com prazo para aquele único caminho mantém todo o resto protegido.
Exercícios
- EX021 — Contagem de segmentos. Um ClientHello tem 540 bytes sem compartilhamentos de chave. Quantos segmentos de 1.460 bytes ele ocupa com um compartilhamento só X25519 (32 B) e com o X25519MLKEM768 (1.216 B), contando ~4 B de sobrecarga por compartilhamento? Rubrica: 3 = 1 e 2 segmentos, com a aritmética.
- EX022 — Mapa de protocolos. Para TLS, IKEv2, SSH e DNSSEC, diga se a migração é principalmente de troca de chaves, de assinaturas ou de ambas. Rubrica: 3 = correto, com razões de uma linha.
Síntese
A troca de chaves híbrida muda o tamanho das mensagens, que redes e middleboxes podem tratar mal; cada protocolo tem a sua própria forma de migração, e o obstáculo muitas vezes é a ossificação, não a criptografia.
Continue estudando — capítulo 11 de 50
← Capítulo 10 · Índice de capítulos do curso · Capítulo 12 →
Siga para a próxima lição escrita.