◇ OpenCyber Academy
Pesquisa doutoral · Capítulo 8 · Português

Capítulo 8 — Defesa e plano de publicação

Ensino gratuito e aberto para quem deseja proteger pessoas e tecnologias. Não é preciso criar uma conta para estudar ou consultar as respostas.

Capítulo 8 — Defesa e plano de publicação

Mapa da aula

Aula 08 publicada. Mapa, exemplo, EX045.

flowchart TD
  N0["8.1 A auditoria das alegações"]
  N1["8.2 Perguntas dos examinadores"]
  N2["8.3 Plano de publicação"]
  N3["8.4 Divulgação coordenada"]
  N4["8.5 Informar um tomador de decisão"]
  N5["8.6 Depois da defesa"]
  N6["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
  N6 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX045"]

Desenho lógico

flowchart LR
  N0["8.1 A auditoria das alegações"]
  N1["8.2 Perguntas dos examinadores"]
  N2["8.3 Plano de publicação"]
  N3["8.4 Divulgação coordenada"]
  N4["8.5 Informar um tomador de decisão"]
  N5["8.6 Depois da defesa"]
  N6["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX045"]

[8.1 A auditoria das alegações]
    |
    v
[8.2 Perguntas dos examinadores]
    |
    v
[8.3 Plano de publicação]
    |
    v
[8.4 Divulgação coordenada]
    |
    v
[8.5 Informar um tomador de decisão]
    |
    v
[8.6 Depois da defesa]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX045]

Objetivos de aprendizagem e conexão

Depois deste capítulo, você consegue (1) auditar cada alegação de uma tese em relação às suas evidências; (2) antecipar e ensaiar as perguntas dos examinadores; (3) planejar a ordem e os veículos das publicações; (4) conduzir a divulgação coordenada das fraquezas de produtos encontradas durante a pesquisa; e (5) informar com precisão um tomador de decisão não especialista. Ele fecha o arco iniciado no Capítulo 1 e leva ao apêndice de resoluções.

8.1 A auditoria das alegações

Liste cada frase do resumo, da introdução e da conclusão que afirma algo. Para cada uma, registre o degrau (Capítulo 1), a tabela ou figura que a sustenta, a incerteza e o qualificador de escopo. Qualquer alegação sem um artefato de apoio é cortada ou reescrita. Na auditoria sintética do Ciphertrail, duas frases falham: uma diz "organizações" onde as evidências cobrem duas organizações sintéticas, e outra diz "assinaturas" onde as evidências passivas cobrem apenas as cadeias de certificados visíveis em TLS 1.2. As duas são corrigidas antes da submissão.

Repita a auditoria depois de cada rodada de revisão.

8.2 Perguntas dos examinadores

Prepare respostas, com referências a slides ou páginas, para as perguntas que os examinadores deste campo fazem com regularidade. Por que eu deveria acreditar na sua verdade de referência? (cegamento, κ, desconhecidos). O que acontece com uma organização que não tem appliances de fornecedores? (o mecanismo prevê pouco ganho; evidência da Marrow). O seu resultado depende da data do CRQC? (não — a revocação do inventário é independente de z; as implicações para a priorização não são, e são apresentadas como uma varredura). E se o ML-KEM for quebrado? (o inventário continua útil; a implantação híbrida e a agilidade são a resposta arquitetural; cite as quebras do Rainbow e do SIKE como precedente de surpresa). O que você errou? (o κ do piloto, o construto original de "uso"). Ensaie com um examinador simulado hostil e registre quais respostas precisaram de uma referência de página que você não tinha.

8.3 Plano de publicação

Ordene os artigos de modo que cada um se sustente sozinho e as evidências mais fortes apareçam primeiro. Um plano plausível: (1) o artigo de replicação e de unidade de medição (diagnóstico no estilo do InvBench, a unidade de contagem e a deriva dos codepoints) num veículo de medição ou de segurança de sistemas; (2) o estudo principal de duas fontes, com a validação; (3) o corpus adjudicado como artigo de conjunto de dados, com a sua ficha; (4) um resumo voltado para profissionais. Evite fatiar em salame resultados que só fazem sentido juntos. Registre publicamente o plano de análise do estudo principal antes de abrir os dados da Marrow, se houver um registro disponível, ou deposite um hash com carimbo de tempo.

8.4 Divulgação coordenada

Durante o estudo sintético, a equipe observou que um modelo de appliance aceitava um recuo só clássico quando o seu grupo híbrido era removido por um middlebox na bancada de testes — uma fraqueza de rebaixamento. O plano de divulgação: confirmar o comportamento apenas na bancada de testes isolada; notificar o fornecedor com detalhes reproduzíveis e uma janela proposta de 90 dias; informar o dono na HRHN sobre as unidades afetadas sem publicar as suas identidades; publicar apenas depois de uma correção ou do prazo combinado, descrevendo a classe da fraqueza, e não uma receita de exploração. A tese registra a linha do tempo da divulgação como evidência de conduta ética.

8.5 Informar um tomador de decisão

Um informe de uma página para o conselho executivo da HRHN (sintético) declara: o que foi medido (onde a criptografia vulnerável à computação quântica é usada, e não se a rede é "segura"); a constatação principal (a varredura estática sozinha deixou de encontrar a maioria dos usos nos appliances de fornecedores; combinar as fontes elevou a parcela encontrada de cerca de um em cada cinco para mais de quatro em cada cinco onde havia sensores); o que continua desconhecido (9% dos ativos; dados em repouso; firmware de dispositivos offline); a decisão solicitada (financiar sensores em dois segmentos não monitorados e exigir que os fornecedores declarem os algoritmos criptográficos nas compras); e o que o informe não alega (nenhuma data para um computador quântico). Ele não usa siglas sem explicação e anexa a tabela de limites.

8.6 Depois da defesa

Arquive as versões finais, atualize a ficha do conjunto de dados com quaisquer erratas e agende uma nova verificação da situação das normas citadas — o FN-DSA e o HQC provavelmente já terão normas finais, e o NIST IR 8547 pode ter sido revisado. Uma tese sobre uma transição deve terminar com um enunciado do que mudaria as suas conclusões.

Anote no arquivo quais conclusões dependem da situação das normas, para que um leitor depois da próxima revisão saiba o que verificar de novo. Liste essas conclusões explicitamente, com as suas dependências.

8.7 Erros comuns e limites

Cada erro tem uma salvaguarda usada antes neste estudo: a auditoria das alegações, um examinador simulado hostil, a linha do tempo da divulgação combinada com o fornecedor e o dono, e um informe que apresenta desconhecidos e faixas, e não uma data. Revise o informe com alguém de fora do projeto antes que ele chegue ao conselho.

Exercícios — capítulo 8

Síntese do capítulo

A defesa é a auditoria final das alegações: cada afirmação tem um artefato, cada pergunta hostil tem uma resposta delimitada, as publicações se sustentam sozinhas, as fraquezas são divulgadas antes de serem publicadas e os tomadores de decisão recebem o que foi medido, e não o que esperavam ouvir.

Continue estudando — capítulo 08 de 08

← Capítulo 07 · Índice de capítulos do curso · Resoluções →

Siga para a próxima lição escrita.

Resoluções

As respostas são respostas-modelo para autoavaliação; uma resposta diferente que atenda à rubrica recebe a mesma pontuação. Os números sintéticos vêm dos laboratórios com semente.

EX001. (1) observação — a contagem do sensor; (2) inferência — a proteção das sessões do segmento B sob o pressuposto de que qualquer um dos componentes se mantém; (3) alegação — a revocação com IC; (4) decisão — a priorização da VPN; (5) exposição — as imagens arquivadas. Uma frase que pula degraus, como "o segmento B é seguro contra a computação quântica", é reescrita: "63% dos handshakes observados no segmento B, na janela, negociaram um grupo híbrido PQ/T; outros segmentos, as assinaturas e os dados armazenados não foram medidos."

EX002. Primitiva (os algoritmos implantados são PQC padronizada? métrica: lista de algoritmos comparada com as FIPS 203/204/205), protocolo (as configurações de TLS/IKE oferecem grupos híbridos? métrica: parcela das configurações), implantação (eles são negociados? métrica: parcela negociada por sensibilidade), organização (os usos vulneráveis são encontrados e substituídos? métrica: revocação, participação desconhecida, tempo até a substituição). "80% pronto" não significa nada até que um objeto e o seu denominador sejam nomeados.

EX003. Com moda 10: resultados de exames 0,415, migração lenta 0,723; com moda 25: 0,097 e 0,325; os registros de agendamento continuam em 0, o arquivo genômico continua em 1. Com moda 10, a linha final "[15,40]" (0,101) é inválida, porque uma moda fora da faixa viola a definição da distribuição triangular — um lembrete para validar as entradas do modelo; com moda 25, ela é válida e ainda imprime 0,000. Interpretação: a ordem das classes de registros é estável, embora as probabilidades mudem por um fator de quatro, então a priorização (genômica primeiro, depois os resultados de exames) é mais robusta do que qualquer probabilidade isolada.

EX004. Danos: instabilidade ou reinicialização de dispositivos durante o atendimento; inundações de alarmes que dessensibilizam a equipe de segurança; enfraquecimento da proteção se as sondagens dispararem modos de recuo. Alternativas: captura passiva na fronteira da rede médica; documentação dos fornecedores e declarações nas compras; uma unidade de cada modelo de dispositivo numa bancada de testes para os testes ativos.

EX005. Captura de pacotes, nível 2 (mantida nas instalações do dono); CSV pseudonimizado, nível 1; inventário de certificados, nível 2 (revela a arquitetura); notebook, nível 0, desde que leia apenas entradas de nível 0/1; chave privada, nível 3 — não copiá-la, avisar o dono para rotacioná-la, registrar apenas o fato da descoberta.

EX006. Manipulação: redefinir "sistema" para excluir os casos difíceis; contar grupos híbridos configurados que nunca são negociados. Substituta: a revocação dos usos vulneráveis à computação quântica adjudicados, com a participação desconhecida relatada separadamente, e a parcela híbrida negociada ponderada pelo tempo de vida dos dados.

EX007. Uma resposta completa nomeia a autorização escrita da HRHN, a coleta passiva em primeiro lugar, com sondagens ativas limitadas a 140 serviços de TI em janelas agendadas, os níveis 0–3 com o nível 3 nunca coletado, o chefe de engenharia clínica como autoridade de interrupção, a divulgação primeiro ao dono e a revocação/precisão/participação desconhecida em relação a uma adjudicação cega.

EX008. Os termos incluem post-quantum, quantum-resistant, quantum-safe, migração para PQC, inventário criptográfico, CBOM, agilidade criptográfica, troca de chaves híbrida, ML-KEM/Kyber, ML-DSA/Dilithium, SLH-DSA/SPHINCS+, harvest now decrypt later; exclusão: artigos só de QKD e da camada física de redes quânticas, a menos que discutam a migração. As expressões de busca combinam um termo de inventário E um termo de PQC, com a data da obtenção.

EX009. Criptoanálise: limites algorítmicos / os pressupostos de hardware envelhecem. Esquemas: provas e criptoanálise / a confiança cresce devagar e as quebras ocorrem tarde. Normas: situação oficial / os documentos mudam. Protocolos híbridos: medição de interoperabilidade / os resultados de laboratório não veem os middleboxes. Implementação: vazamento reproduzível em laboratório / ligado a versões de código. Inventário: dados de campo / verdade de referência circular e denominadores ausentes.

EX010. Em 12 de outubro de 2026: FIPS 206 (FN-DSA) em desenvolvimento; HQC selecionado (NIST IR 8545, março de 2025), com a norma em desenvolvimento; NIST IR 8547 como rascunho público inicial (novembro de 2024). Consulte a página do projeto de PQC do NIST e registre a data da obtenção; um leitor posterior deve esperar mudanças.

EX011. Construto: "uso de RSA" indefinido. Verdade de referência: produzida pela mesma ferramenta — circular. Linha de base: nenhuma. Independência: um único local. Desconhecidos: não relatados. Q1 ainda pode sustentar "a ferramenta encontrou estas instâncias", mas nenhum número de revocação.

EX012. Acrescentar a coluna dá "não" para Q1, Q2, Q6, Q8 e "sim" ou "não se aplica" para os outros; o inventário continua sem nenhum estudo com corpus independente e verdade de referência independente ao mesmo tempo, então a lacuna sobrevive a duas codificações.

EX013. Dois finalistas ou alternativos caíram diante de ataques clássicos descobertos tarde num processo público, então a confiança num pressuposto mais novo é provisória. As arquiteturas devem, portanto, combinar pressupostos (híbridos PQ/T durante a transição), manter uma segunda família padronizada (assinaturas baseadas em hash, HQC ao lado do ML-KEM) e tornar rotineira a substituição de algoritmos (agilidade). As quebras não implicam que o ML-KEM seja fraco.

EX014. Modelo: "Nenhum estudo publicado mede o tempo até a substituição de um algoritmo de assinatura numa PKI com mais de 1.000 certificados sob um mecanismo de agilidade documentado; uma única medição desse tipo falsearia a lacuna."

EX015. Principal: medição (revocação/precisão independentes); alternativa: novo método. O enquadramento como medição é mais forte porque pode ser testado contra um limiar explícito num corpus independente; um enquadramento como "método" convida à resposta "qualquer união ajuda".

EX016. O inventário baseado em SBOM vê as bibliotecas e as versões declaradas; prevê alta revocação para o software interno com pipelines de build e falha para os appliances sem SBOM, para os algoritmos selecionados em tempo de execução pela configuração e para os dados em repouso.

EX017. Os registros dos pontos finais veem os certificados e os algoritmos de assinatura do lado do servidor no TLS 1.3, as escolhas de cifras e as identidades dos clientes; não veem dispositivos sem registro nem clientes não gerenciados; o custo para a privacidade é maior, porque os registros podem ligar usuários a serviços, então pseudonimize na origem.

EX018. "Nos itens reservados da HRHN, a diferença pareada de revocação (duas fontes − estática) é de pelo menos 0,10; rejeitar se o limite inferior do IC de 95% estiver abaixo de 0,10." Qualquer limiar rejeitável recebe crédito.

EX019. Agregado estático 0,73 contra 0,81 de duas fontes: ganho de 0,08 em vez de 0,20, porque a classe que mais se beneficia encolheu. O método não mudou; a composição mudou — por isso os resultados por classe precisam ser relatados.

EX020. Rival: sensores passivos instalados depois de incidentes anteriores, de modo que o ganho observado reflete onde os problemas já eram conhecidos (controle: posição dos sensores documentada e analisada). Rival: linha de base estática executada com acesso desatualizado aos repositórios (controle: a mesma data do retrato de acesso para os dois).

EX021. O mesmo laboratório reexecutando o seu pipeline = repetibilidade; outra equipe usando o corpus e o código divulgados = reprodutibilidade; outra equipe construindo o seu próprio sensor e corpus = replicabilidade.

EX022. "Observação: 214 dos 1.000 itens da verdade de referência no corpus divulgado trazem o ID interno de constatação do scanner. Inferência (não confirmada pelos autores): a verdade de referência foi semeada a partir da saída do scanner, excluindo os itens que ele não conseguia ver; a revocação está, portanto, superestimada. Efeito: recalcular apenas contra os itens documentados pelos donos reduz a revocação de 0,97 para 0,71."

EX023. Acrescentar os testes (0x11ED, "hybrid") e (0x0200, "unknown"); a tabela já mapeia 0x11ED, os seis testes passam e valores desconhecidos nunca são mapeados como seguros.

EX024. Uso canônico = (registro do dono do serviço, nome lógico do serviço, protocolo, porta). Mapear os IPs pelo registro de ativos, os apelidos pela resolução de CNAME do DNS registrada no momento do retrato, e tratar o VIP de um balanceador de carga como um uso por pool de back-ends apenas se os back-ends diferirem na criptografia. Modo de falha: VIPs compartilhados com back-ends heterogêneos precisam de dados dos pontos finais.

EX025. Hospitais que compartilham uma AC emissora vazam padrões de certificados entre as partições; particionar por domínio de PKI, ou manter os certificados da PKI compartilhada inteiramente na partição de teste e ajustar apenas com atributos que não sejam de PKI.

EX026. "Seguir com emenda: κ de 0,62 rastreado até a definição de 'uso'. Livro de códigos emendado (alcançável na negociação; marcação de configurado, não observado). Novo teste com 60 novos itens de calibração; prosseguir se κ ≥ 0,70."

EX027. A variância de uma diferença pareada é a soma das variâncias dos dois resultados menos duas vezes a sua covariância; a detecção pelos dois métodos é fortemente correlacionada por item (os dois encontram os itens fáceis), então o termo de covariância reduz substancialmente a variância.

EX028. Calcular a revocação duas vezes — com os 40 itens disputados contados como usos vulneráveis verdadeiros e depois como não usos — e relatar a faixa ao lado da estimativa adjudicada: "ganho de revocação de 0,21 (0,19–0,22 entre as resoluções das disputas)".

EX029. Janela de observação de 7 contra 14 contra 30 dias; canonização por DNS contra registro de ativos; incluir contra excluir os configurados não observados; adjudicação por maioria contra resolução pelo terceiro revisor.

EX030. Exportar as regras de fusão, os limiares e o livro de códigos para um único arquivo; calcular o SHA-256; publicar o hash num local com carimbo de tempo (e-mail ao orientador e commit no repositório), testemunhado pelo orientador; só então decifrar os dados da Marrow; verificar o hash de novo no script de análise.

EX031. Ganho esperado = Σ nᶜ(1−p_sᶜ)p_pᶜ / N = 0,089 para a composição da Marrow; o Laboratório 5 dá 0,097, a menos de 0,03.

EX032. "Em duas organizações sintéticas, combinar a telemetria passiva com a análise estática encontrou mais usos vulneráveis à computação quântica do que a análise estática sozinha (revocação de +0,10 a +0,21) onde os sensores observavam o tráfego; não encontrou usos em dados em repouso, e até 14% dos ativos continuaram indeterminados. Esta não é uma avaliação de segurança contra a computação quântica."

EX033. Por exemplo, "o tráfego sazonal esconde serviços raramente usados" → refazer com uma janela de 60 dias; "os adjudicadores favorecem os ativos documentados" → comparar a revocação nos subconjuntos documentado e não documentado; "deriva dos codepoints" → reclassificar com o registro atual. Cada um pode mover a estimativa.

EX034. Alegações H1, H3, H4; objeção do modelo de ameaça: híbrido negociado ≠ resistência ao rebaixamento → concessão e enunciado de escopo; as outras como em 6.1.

EX035. Zonas não vistas: certificados do TLS 1.3 sem registros dos pontos finais; assinaturas de firmware offline; armazenamento cifrado por terceiros; tráfego em túneis; segmentos não monitorados; mídias removíveis.

EX036. "Onde clientes e servidores negociam o X25519MLKEM768, as trocas de chaves TLS registradas são projetadas para resistir a uma futura decifração quântica se qualquer um dos componentes continuar seguro; as assinaturas dos certificados, o comportamento de rebaixamento, os dados armazenados e os protocolos que não são TLS não estão cobertos."

EX037. Divulgar o corpus sintético, o código e os resultados agregados; reter os dados pseudonimizados dos handshakes, a menos que a HRHN aprove e o risco de reidentificação seja avaliado; nunca divulgar as capturas; as fraquezas de produtos vão primeiro para os fornecedores.

EX038. "Concordamos que a revocação de usos não é risco. Acrescentamos uma revocação ponderada pela sensibilidade (Seção 5.6), usando pesos de tempo de vida dos dados, relatamos as duas e mudamos o resumo de 'risco' para 'usos'. Os pesos são uma decisão de governança, então os publicamos para que possam ser reponderados."

EX039. Dados: as diferenças pareadas da Marrow; garantia: as regras congeladas tornam a Marrow um teste genuíno fora da amostra; apoio: o hash da configuração; qualificador: sob posicionamento semelhante dos sensores; refutação: a Marrow é sintética e difere na composição; alegação: o ganho ≥ 0,05 se transfere.

EX040. A redução de risco exige que os usos encontrados sejam substituídos antes que x + y > z para os seus dados, então são necessárias evidências sobre a taxa de correção, os tempos de vida dos dados e os desconhecidos residuais — nada disso é medido pelo inventário.

EX041. Em release, verificar if n not in files: problems.append(f"{n}: missing") antes do cálculo do hash; a função ainda precisa devolver BLOCKED para qualquer problema.

EX042. Ficha: gerador sintético e semente; composição (código 500, appliance 60, embarcado 200, repouso 140); instrumentos simulados; nenhum host real; lacunas conhecidas — nenhum modelo de sensor SSH; rótulos conforme o livro de códigos emendado; proibido — uso como evidência sobre transportadoras reais.

EX043. Janela sazonal → revocação dos serviços raramente usados subestimada (direção conhecida, magnitude limitada pela reexecução com 60 dias); fadiga dos adjudicadores → ruído, direção incerta; data de obtenção do registro → parcela híbrida subestimada se faltarem codepoints mais novos.

EX044. "Se o seu inventário se apoia apenas na varredura de código e de configuração, espere deixar de encontrar a criptografia dentro dos appliances de fornecedores. Onde você conseguir observar o tráfego, acrescente telemetria dos handshakes; exija que os fornecedores declarem os algoritmos; relate quantos ativos você não conseguiu avaliar. Nada disso diz quando os computadores quânticos chegam nem se o rebaixamento é evitado."

EX045. Cada frase recebe degrau, artefato, incerteza e escopo; as falhas típicas são "organizações" (generalização) e "assinaturas" (o ponto cego do TLS 1.3) — ambas reescritas.

EX046. Por exemplo, "Por que confiar em organizações sintéticas?" → elas testam a validade interna e o mecanismo do método; a validade externa fica explicitamente em aberto. As respostas continuam delimitadas.

EX047. Artigo de replicação; estudo principal com validação; artigo de conjunto de dados — cada um com a sua própria pergunta e as suas evidências.

EX048. Dia 0: confirmar na bancada de testes; dia 1: notificar o fornecedor e a HRHN; dia 30: verificação da situação; dia 90: publicar um alerta no nível da classe, escalando para um coordenador (por exemplo, um CERT nacional) se o fornecedor ficar em silêncio.

EX049. O informe de 8.5, com o escopo medido, a constatação, os desconhecidos, o pedido de decisão e as não alegações explícitas.

EX050. Um ataque prático ao ML-KEM (criptoanalítico) → a importância do híbrido aumenta, o inventário não muda; normas finais do FN-DSA/HQC (normas) → as listas de algoritmos mudam; IR 8547 revisado (política) → a priorização muda; uma replicação numa organização real (evidência de campo) → a validade externa é testada.