Capítulo 33 — Segurança quântica e pós-quântica: segurança operacional e resiliência
Mapa da aula
Aula 33 publicada. Mapa, exemplo, EX065.
flowchart TD
N0["33.1 Interações com a segurança física"]
N1["33.2 Implantação resiliente"]
N2["33.3 Resposta a incidentes criptográficos"]
N3["33.4 Exercício de mesa: quebra de algoritmo"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX065"]
Desenho lógico
flowchart LR
N0["33.1 Interações com a segurança física"]
N1["33.2 Implantação resiliente"]
N2["33.3 Resposta a incidentes criptográficos"]
N3["33.4 Exercício de mesa: quebra de algoritmo"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX065"]
[33.1 Interações com a segurança física]
|
v
[33.2 Implantação resiliente]
|
v
[33.3 Resposta a incidentes criptográficos]
|
v
[33.4 Exercício de mesa: quebra de algoritmo]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX065]
Objetivos de aprendizagem
Você vai (1) analisar como a migração criptográfica interage com as operações relacionadas à segurança física (safety); (2) projetar implantações resilientes para a tecnologia operacional do porto; (3) planejar a resposta a incidentes criptográficos, incluindo o comprometimento de um algoritmo; e (4) preparar-se para um cenário de "quebra criptográfica". O capítulo parte dos Capítulos 10, 23 e 32.
33.1 Interações com a segurança física
Na BPA, guindastes, sistemas de portão e serviços de tráfego de embarcações precisam continuar operando. Uma verificação de assinatura de firmware que falha pode inutilizar o controlador de um guindaste; um certificado rejeitado por um scanner de portão pode parar caminhões. As etapas de migração nesses sistemas exigem testes em unidades reserva, janelas de manutenção, imagens de reversão verificadas e a aprovação dos operadores.
A aprovação dos operadores importa porque eles conhecem as consequências de um guindaste ou de um portão parado num período de pico melhor do que a equipe de segurança. A BPA agenda as mudanças de assinatura de firmware fora dos picos de chegada de navios e mantém um técnico no local durante a atualização da primeira unidade. Se a verificação falhar na unidade reserva, a implantação para ali, antes que qualquer guindaste em operação seja tocado.
33.2 Implantação resiliente
Use anéis: laboratório → unidade reserva → uma unidade de baixo impacto → um local → todos. Cada anel tem um período de espera e critérios de sucesso explícitos. Mantenha a chave de verificação anterior como confiável até que a nova cadeia esteja comprovada, para que a reversão continue possível.
Para os controladores de guindaste, o período de espera é de uma semana de operação normal por anel, e sucesso significa nenhuma falha de verificação e nenhuma reinicialização inexplicada. Manter a chave antiga como confiável custa pouco e preserva um caminho de volta caso a nova cadeia tenha um defeito. Ela só é removida depois que todos os dispositivos tiverem executado a nova cadeia com sucesso.
33.3 Resposta a incidentes criptográficos
Planeje para: uma vulnerabilidade numa biblioteca PQC (corrigir e trocar as chaves), um comprometimento de chave (revogar e substituir), uma reutilização de índice de uma chave com estado (tratar como comprometimento) e uma quebra criptoanalítica de um algoritmo (mudar para a alternativa). Os híbridos dão tempo no último caso: se o ML-KEM fosse enfraquecido, o X25519 ainda protegeria contra atacantes clássicos enquanto a agilidade substitui o componente pós-quântico — por exemplo, pelo HQC, quando for padronizado (IR 8545).
Cada cenário tem um responsável, uma primeira ação e um tempo-alvo no plano da BPA.
33.4 Exercício de mesa: quebra de algoritmo
Cenário: um artigo confiável relata um ataque prático contra um conjunto de parâmetros de assinatura pós-quântica. Perguntas: onde ele é usado (CBOM)? O que depende dele (raízes, firmware)? Qual é a alternativa (SLH-DSA, outro nível do ML-DSA)? Quanto tempo leva a substituição (métrica de tempo de substituição)? Quem decide? O exercício de mesa mede a agilidade diretamente.
Conduzir o exercício com o CBOM aberto transforma cada pergunta numa consulta, e o tempo gasto para responder mostra onde o inventário é fraco. Se ninguém consegue dizer em uma hora quais dispositivos dependem do conjunto de parâmetros afetado, essa lacuna é a principal constatação.
33.5 Exemplo resolvido
O exercício de mesa da BPA descobre que o firmware dos guindastes confia em um único algoritmo de assinatura, sem previsão de uma segunda chave no bootloader. Ação: a próxima versão do bootloader aceita duas chaves de verificação de algoritmos diferentes (por exemplo, LMS e ML-DSA), para que a quebra de um deles não deixe os dispositivos sem saída.
Sem a segunda chave, uma quebra do LMS deixaria dispositivos impossíveis de atualizar, sem caminho confiável para receber uma correção, já que qualquer firmware novo precisaria de uma assinatura que o bootloader não consegue verificar com segurança. Acrescentar a segunda chave agora, enquanto o bootloader ainda pode ser atualizado, preserva opções para o restante da vida do dispositivo.
33.6 Erros comuns e limites
- Implantar mudanças criptográficas em sistemas de segurança física sem unidades reserva e sem reversão.
- Nenhum plano para o comprometimento de um algoritmo.
- Âncoras de confiança de um único algoritmo em dispositivos de vida longa.
Implantar uma mudança de assinatura de firmware nos guindastes sem uma unidade reserva testada e sem imagem de reversão arrisca controladores inutilizados e operações paradas. Sem um plano para o comprometimento de um algoritmo, uma quebra força a improvisação sob pressão. Âncoras de confiança de um único algoritmo em dispositivos com vida útil de dez a vinte anos não deixam alternativa se esse algoritmo falhar, como o exercício de mesa da BPA descobriu no firmware dos guindastes antes da próxima versão do bootloader.
Exercícios
- EX065 — Anéis. Defina os anéis de implantação e os critérios para o firmware de guindaste assinado com um algoritmo novo. Rubrica: 3 = unidades reserva, períodos de espera, reversão.
- EX066 — Exercício de mesa. Conduza o exercício de mesa de quebra de algoritmo para os conhecimentos de embarque da BPA e registre as ações. Rubrica: 3 = usa o CBOM, esquema alternativo, tempo de substituição.
Síntese
A segurança física e a resiliência exigem implantações em anéis com reversão, planos de incidente que incluam quebras de algoritmo e âncoras de confiança capazes de aceitar mais de um algoritmo.
Continue estudando — capítulo 33 de 50
← Capítulo 32 · Índice de capítulos do curso · Capítulo 34 →
Siga para a próxima lição escrita.