Conceitos Avançados de Criptografia: Do CSPRNG ao Forward Secrecy
Em uma era de violações de dados onipresentes e vigilância sofisticada patrocinada por estados, o papel da criptografia mudou de uma disciplina acadêmica de nicho para a base da economia digital. Embora muitos desenvolvedores estejam familiarizados com conceitos básicos como "hashing" ou "criptografia simétrica", a segurança de um sistema no mundo real geralmente depende de primitivas mais avançadas e sutis.
Neste guia, exploraremos os componentes críticos que tornam possíveis os protocolos criptográficos modernos, como TLS 1.3 e Signal: da geração de aleatoriedade à garantia de que os segredos de hoje permaneçam seguros mesmo que as chaves de amanhã sejam comprometidas.
1. O Fundamento da Aleatoriedade: CSPRNG
Toda operação criptográfica começa com um segredo, e todo segredo começa com aleatoriedade. No entanto, no mundo dos computadores — que são fundamentalmente máquinas determinísticas — a aleatoriedade real é surpreendentemente difícil de encontrar.
O que é um CSPRNG?
Um Gerador de Números Pseudoaleatórios Criptograficamente Seguro (CSPRNG) é um algoritmo especializado projetado para produzir sequências de números que são indistinguíveis de ruído aleatório real. Ao contrário dos PRNGs padrão (como Math.random() no JavaScript), um CSPRNG deve satisfazer dois requisitos críticos:
- Teste do Próximo Bit: Dados os primeiros k bits de uma sequência, um atacante com poder de computação ilimitado não deve ser capaz de prever o $(k+1)$-ésimo bit com uma probabilidade significativamente maior que 50%.
- Extensões de Compromisso de Estado: Se o estado interno do gerador for comprometido, deve ser impossível reconstruir saídas aleatórias anteriores (resistência ao retrocesso) ou prever saídas futuras (resistência à previsão, desde que nova entropia seja adicionada).
A Fonte de Entropia
Um CSPRNG é tão bom quanto sua fonte de entropia. Os sistemas operacionais modernos coletam "ruído" de eventos de hardware — como tempos de teclado, movimentos do mouse, interrupções de E/S de disco e ruído térmico — para semear o gerador. No Linux, isso é gerenciado pelo /dev/urandom.
2. Criptografia Autenticada com Dados Associados (AEAD)
Por décadas, os desenvolvedores foram ensinados a criptografar para confidencialidade e usar um MAC (como HMAC) para integridade. Essa abordagem "Encrypt-then-MAC" é segura, mas propensa a erros de implementação.
A Ascensão do AEAD
O AEAD (Authenticated Encryption with Associated Data) simplifica isso ao fornecer confidencialidade e integridade em uma única primitiva criptográfica. Quando você usa um modo AEAD como AES-GCM ou ChaCha20-Poly1305, o algoritmo produz:
- Texto cifrado: Os dados criptografados.
- Tag de Autenticação: Um checksum criptográfico que prova que o texto cifrado não foi adulterado.
Dados Associados (AD)
A parte "AD" permite autenticar dados que não estão criptografados. Por exemplo, em um pacote de rede, o cabeçalho (contendo o IP de destino) deve permanecer em texto simples para que os roteadores possam lê-lo, mas deve ser autenticado para que um atacante não possa alterar o destino sem ser detectado.
3. Funções de Derivação de Chave (KDF)
Você nunca deve usar uma senha bruta como chave de criptografia. Os seres humanos escolhem senhas previsíveis, enquanto os algoritmos criptográficos exigem sequências de bits de alta entropia e uniformemente distribuídas.
O que uma KDF faz?
Uma Função de Derivação de Chave (KDF) recebe uma fonte de entropia (como uma senha ou um segredo compartilhado de uma troca de chaves) e "estica" ou "deriva" uma ou mais chaves criptograficamente fortes a partir dela.
Padrões Modernos de KDF
- PBKDF2: Um padrão mais antigo que usa hashing repetido para retardar ataques de força bruta.
- Argon2: O vencedor da Password Hashing Competition (PHC), projetado para ser resistente a quebras baseadas em GPU e ASIC.
- HKDF (KDF baseado em HMAC): Amplamente utilizado em protocolos como TLS 1.3 para derivar várias chaves independentes (por exemplo, uma chave de criptografia e uma chave de autenticação) a partir de um único segredo compartilhado.
4. Troca de Chaves Efêmeras e Forward Secrecy
Um dos conceitos mais poderosos da criptografia moderna é o Perfect Forward Secrecy (PFS).
O Problema com Chaves Estáticas
Em versões anteriores do SSL, o servidor usava uma chave privada RSA estática para trocar chaves de sessão. Se um atacante registrasse todo o seu tráfego criptografado por anos e depois conseguisse roubar la chave privada do servidor, ele poderia voltar e descriptografar todo o tráfego histórico que coletou.
A Solução: Troca de Chaves Efêmeras
Os protocolos modernos usam Diffie-Hellman Efêmero (DHE) ou Elliptic Curve Diffie-Hellman Efêmero (ECDHE).
- Efêmero significa que as chaves são temporárias; um par de chaves novo e exclusivo é gerado para cada sessão.
- Assim que a sessão termina, as chaves são excluídas da memória.
Alcançando Forward Secrecy
Como a chave de identidade de longo prazo do servidor é usada apenas para assinar a troca (provando a identidade do servidor) em vez de criptografar as chaves de sessão, comprometer a chave de longo prazo não ajuda um atacante a descriptografar o tráfego passado. Este é o padrão ouro para privacidade.
5. Resumo: Construindo um Sistema Seguro
Para construir uma aplicação moderna e segura, você deve seguir estes padrões arquitetônicos:
- Gere segredos usando um CSPRNG fornecido pelo sistema (ex:
crypto.getRandomValues()no navegador oucrypto.randomBytes()no Node.js). - Armazene senhas usando Argon2 ou Scrypt.
- Proteja dados em repouso usando um modo AEAD como AES-256-GCM.
- Proteja dados em trânsito usando TLS 1.3 com ECDHE para Forward Secrecy.
- Derive sub-chaves usando HKDF em vez de reutilizar a mesma chave mestra para finalidades diferentes.
Ao entender esses conceitos avançados, você vai além de apenas "marcar a caixa" para segurança e começa a construir sistemas resilientes contra ameaças atuais e vulnerabilidades futuras.