Resumo Técnico: Os Três Eixos do Risco Quântico

1. Declaração do Problema

A migração pós-quântica transitou da pesquisa para a necessidade operacional, impulsionada pela finalização dos FIPS 203/204/205 pelo NIST e pelos prazos da CNSA 2.0 da NSA (2025–2033). No entanto, as ferramentas atuais de observabilidade criptográfica sofrem de uma limitação crítica: elas respondem a uma única pergunta para cada ativo — "Seu primitivo é resistente ao pós-quântico (PQ)?"

Esta abordagem de eixo único falha em capturar o perfil completo de risco quântico porque:

1. A Proteção do Canal é Ignorada: Dois ativos com algoritmos idênticos (ex: ECDSA-P256) possuem perfis de risco vastamente diferentes se um opera sobre um link desprotegido e o outro sobre um link de Distribuição de Chaves Quânticas (QKD).
2. A Agilidade Criptográfica é Invisível: Um ativo que utiliza um algoritmo clássico que pode ser alterado via configuração possui um estado de risco diferente de um onde o algoritmo está codificado de forma rígida (hard-coded) no firmware. As ferramentas atuais não expõem a "agilidade de migração" como uma métrica de telemetria de primeira classe.
3. Falta de Modelagem Unificada: PQC e QKD são frequentemente tratados como alternativas mutuamente exclusivas na literatura, enquanto os operadores precisam de um modelo unificado para avaliar ambientes onde implantações híbridas são a realidade.

Consequentemente, os operadores não conseguem responder com precisão "Podemos estar prontos para o PQ a tempo?" porque carecem de uma visão unificada de resistência algorítmica, segurança de canal e velocidade de migração.

2. Metodologia

Os autores propõem um Modelo de Postura de Risco Quântico de Três Eixos que trata o risco como um problema de observação multidimensional. Cada ativo é graduado em três eixos independentes, que são então colapsados em uma pontuação única, ajustada pelo prazo, $q(asset, t)$.

Os Três Eixos

• Eixo A (Resistência Algorítmica): Pontua os primitivos criptográficos em uma escala de [0, 1].
  • 1.0: PQ-resistente (ex: ML-KEM, ML-DSA).
  • 0.9: PQ-híbrido (ex: X25519 + ML-KEM).
  • 0.3: Clássico (ex: RSA-2048, ECDSA).
  • 0.0: Depreciado/Quebrado (ex: SHA-1, RC4).
  • As pontuações são ponderadas pelo papel (assinatura, troca de chaves, criptografia, hash).
• Eixo C (Proteção do Canal): Pontua o mecanismo de entrega de chaves em uma escala de [0, 1].
  • 1.0: Apenas QKD.
  • 0.7: QKD-Híbrido PSK (chaves derivadas de QKD usadas em modos híbridos).
  • 0.0: Apenas Clássico.
  • Este eixo considera a degradação do link (ex: alta Taxa de Erro de Bit Quântico) descontando a pontuação proporcionalmente.
• Eixo G (Agilidade de Migração): Pontua a capacidade de alterar primitivos em uma escala de [0, 1].
  • 1.0 (Negociado): Algoritmo selecionado por sessão (ex: TLS 1.3).
  • 0.75 (Configurável): Alterável via arquivo de configuração.
  • 0.50 (Fixado/Pinned): Codificado no código-fonte, alterável via atualização de software.
  • 0.20 (Travado/Locked): Fixo em firmware ou módulos validados pelo FIPS.
  • 0.0 (Congelado/Frozen): Fixo em silício/ROM.

A Pontuação Unificada

O modelo calcula uma pontuação de risco ajustada pelo prazo $q(asset, t)$:
$$q(asset, t) = 1 - (\alpha \cdot A + \beta \cdot C + \gamma(\tau) \cdot G)$$
Onde $\tau$ representa a "tensão do prazo" (o quão próximo a data atual $t$ está do prazo $D$ do operador). À medida que o prazo se aproxima, o peso $\gamma$ atribuído à agilidade diminui, refletindo que a alta agilidade é menos tolerante quando o tempo é curto. Uma flag BLOCKED (BLOQUEADO) é levantada para ativos com baixa agilidade que não podem ser migrados a tempo, independentemente de sua pontuação atual.

Implementação: Sezar

Os autores implementaram o Sezar, uma plataforma de observabilidade de código aberto em Rust, para operacionalizar este modelo. Componentes principais incluem:

• Extensão de Esquema: Estendeu o esquema crypto_inventory_event v1 para incluir os campos channel_protection e agility.
• Cinco Agentes:
  1. sezar-net: Observação de TLS/SSH/IPsec baseada em eBPF.
  2. sezar-qkd: Coletor ETSI GS QKD 014 e um emulador KME sintético para testes.
  3. sezar-agility: Scanner estático usando regras Semgrep para analisar código-fonte e binários para níveis de agilidade.
  4. sezar-cert: Inventário X.509 via logs de CT e varreduras de host.
  5. sezar-chain: Observação de blockchain pública.
• Mecanismo de Rollup: Uma função pura que ingere eventos e computa a pontuação unificada com base em pesos e prazos configurados pelo operador.

3. Principais Contribuições

1. O Modelo de Três Eixos: Um framework formal que separa resistência algorítmica, proteção de canal e agilidade de migração, reconhecendo que PQC e QKD são observáveis complementares.
2. Extensão de Esquema: Uma atualização estritamente aditiva para o esquema crypto_inventory_event (v1.1), permitindo telemetria interoperável para QKD e agilidade.
3. Implementação de Referência Sezar: Uma pilha completa de código aberto (agentes, coletor, dashboard) que unifica observação de rede eBPF, telemetria QKD baseada em REST e análise estática de código.
4. Emulador de QKD: Um emulador de Entidade de Gerenciamento de Chaves (KME) ETSI GS QKD 014 para permitir que praticantes testem software consciente de QKD sem hardware físico.
5. Rubrica de Agilidade e Corpus: Um sistema de pontuação ordinal de cinco níveis operacionalizado via pacote de regras Semgrep, validado contra um corpus de verdade fundamental (ground-truth) avaliado manualmente de 50 projetos de servidores de código aberto.

4. Resultados Empíricos

O artigo valida o modelo através de três estudos reproduzíveis:

• Estudo 1 (Eixo A - Tranco Top-1k):

  • Escaneou 724 hosts responsivos do top-1k da Tranco.
  • Resultado: 43,8% dos hosts negociaram uma troca de chaves híbrida PQ (X25519MLKEM768) quando oferecida. No entanto, 16,9% ainda negociaram TLS 1.2 (estruturalmente inelegível para PQ) e a distribuição de assinaturas de certificado permaneceu dominante em RSA (64,9%).
  • Insight: Varreduras de eixo único perdem as restrições estruturais (versão do TLS) e a falta de agilidade de certificado.

• Estudo 2 (Eixo C - Emulador de QKD):

  • Testou o sistema contra 13 transições de estado induzidas em cinco cenários de falha (estado estável, degradação, falha total, PSK obsoleta, SAE bifurcada).
  • Resultado: 13/13 mudanças de estado foram classificadas corretamente. O sistema distinguiu corretamente entre falhas no nível do link e problemas de atribuição por sessão (ex: um SAE falhando enquanto outro tem sucesso).
  • Insight: Telemetria apenas no nível do link é insuficiente; a atribuição por sessão é necessária para pontuar a proteção do canal com precisão.

• Estudo 3 (Eixo G - Piloto de Agilidade):

  • Comparou o scanner sezar-agility contra a verdade fundamental avaliada manualmente para um subconjunto de 11 projetos do corpus de 50 projetos.
  • Resultado: 91% de concordância (10/11 projetos). A única discordância envolveu o chrony, onde a evidência estática era ambígua entre "configurável" e "fixo".
  • Insight: A análise estática pode alcançar concordância substancial com a avaliação humana, embora lacunas de cobertura do ecossistema Go (inicialmente perdendo padrões de crypto/tls) tenham exigido atualizações de regras.

5. Significância e Alegações

O artigo afirma que a métrica de prontidão PQ de "bit único" é insuficiente para operadores que enfrentam prazos de 2030–2033. A significância deste trabalho reside em:

1. Avaliação de Risco Holística: Demonstra que o risco de um ativo não é apenas sobre o algoritmo que ele usa, mas também sobre como as chaves são entregues e quão rápido o algoritmo pode ser trocado.
2. Viabilidade Operacional: Prova que uma maneira de observar o modelo unificado cobrindo PQC, QKD e agilidade pode ser construída usando hardware comum e ferramentas de código aberto, sem exigir stacks comerciais proprietárias.
3. Priorização Acionável: Ao colapsar três eixos em uma pontuação ajustada pelo prazo, o modelo permite que os operadores priorizem esforços de migração com base em um "tempo para corrigir" realista, em vez de apenas na "vulnerabilidade atual".
4. Reproduzibilidade: Os autores fornecem o esquema completo, o emulador, os conjuntos de regras e o corpus de verdade fundamental, convidando a comunidade para verificar, criticar e refinar as constantes de pontuação e os pesos, em vez de aceitá-los como verdades absolutas.

Os autores declaram explicitamente que o modelo não resolve as restrições econômicas ou políticas da migração, mas fornece a camada de telemetria necessária para tornar essas decisões informadas. A contribuição é o modelo e a ferramenta, não as pontuações numéricas específicas, que pretendem ser configuráveis pelo operador.