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

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

Mapa da aula

Aula 08 publicada. Mapa, exemplo, EX045.

flowchart TD
  N0["8.1 Preparar-se para as perguntas difíceis"]
  N1["8.2 Responder sem exagerar"]
  N2["8.3 Escolher os veículos"]
  N3["8.4 Divulgação coordenada com a parceira"]
  N4["8.5 Pesquisas de continuidade"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5
  N5 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX045"]

Desenho lógico

flowchart LR
  N0["8.1 Preparar-se para as perguntas difíceis"]
  N1["8.2 Responder sem exagerar"]
  N2["8.3 Escolher os veículos"]
  N3["8.4 Divulgação coordenada com a parceira"]
  N4["8.5 Pesquisas de continuidade"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX045"]

[8.1 Preparar-se para as perguntas difíceis]
    |
    v
[8.2 Responder sem exagerar]
    |
    v
[8.3 Escolher os veículos]
    |
    v
[8.4 Divulgação coordenada com a parceira]
    |
    v
[8.5 Pesquisas de continuidade]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX045]

Objetivos de aprendizagem

Você vai (1) preparar uma defesa de doutorado em torno dos pontos mais fracos da afirmação; (2) planejar os veículos de publicação e uma divulgação coordenada com a parceira; (3) definir pesquisas de continuidade, incluindo a migração pós-quântica.

8.1 Preparar-se para as perguntas difíceis

Nadia lista as dez perguntas que menos quer ouvir e prepara para cada uma uma resposta curta, baseada em evidências. Entre elas: por que doze conglomerados bastam, se o efeito Hawthorne explica o resultado, por que a ponderação por severidade não foi a primária e se o lint sozinho poderia trazer o ganho. Em cada resposta, ela aponta para uma seção, uma tabela ou um arquivo do arquivo de reprodutibilidade, e não para a própria opinião. O Prof. Brandt conduz duas defesas simuladas com colegas que não leram a tese, porque eles fazem as perguntas ingênuas que a banca real muitas vezes faz primeiro.

8.2 Responder sem exagerar

Durante a defesa, um examinador pergunta se o estudo prova que os checklists funcionam. Nadia responde que ele mostra uma redução considerável numa organização ao longo de um trimestre, com uma confiança que se apoia num teste de permutação, numa confirmação cega e num terceiro auditor, e que a durabilidade e a transferência continuam em aberto. Quando perguntam por que ela não testou a explorabilidade dos achados, ela explica que a aprovação ética proibia trabalho de exploração e que as violações confirmadas do livro de códigos são uma aproximação reconhecida, e não uma medida de invasões. Respostas precisas e delimitadas conquistam mais confiança do que generalizações confiantes.

8.3 Escolher os veículos

Nadia planeja dois artigos. O experimento vai para um veículo revisado por pares de segurança em engenharia de software, cujos revisores valorizam evidências de campo randomizadas. Um artigo mais curto para profissionais explica as perguntas do checklist, cada uma ligada a uma fonte pública, como o SP 800-38D para os limites de nonce, o SP 800-57 para o ciclo de vida das chaves e a RFC 9106 para o hash de senhas. Ela confere a política de dados abertos de cada veículo contra sua lista de divulgação e planeja publicar o manuscrito aceito num repositório aberto, para que o checklist chegue às equipes que não podem pagar pelo acesso aos periódicos.

8.4 Divulgação coordenada com a parceira

Antes da submissão, o líder de segurança da Meridian revisa os dois manuscritos contra o acordo de dados, confirmando que nenhuma fraqueza ativa é descrita e que todo achado de exemplo é uma paráfrase inventada. Eles combinam um cronograma: o arquivo se torna público na aceitação, o artigo para profissionais sai depois que a Meridian tiver implantado o checklist em todas as equipes, e qualquer problema recém-encontrado segue o processo de divulgação da Meridian antes da publicação. Registrar isso por escrito protege as duas partes e mostra aos examinadores que os resultados da pesquisa e a segurança da parceira foram planejados juntos, e não negociados um contra o outro no último minuto.

8.5 Pesquisas de continuidade

Nadia propõe dois estudos de continuidade. O primeiro repete o experimento em organizações sem um wrapper maduro, estratificado pela idade do código, para testar a transferência. O segundo estuda a migração pós-quântica: o NIST padronizou o ML-KEM no FIPS 203, o ML-DSA no FIPS 204 e o SLH-DSA no FIPS 205, e migrar para eles vai introduzir novos parâmetros, chaves maiores e handshakes híbridos, todos novas oportunidades de uso indevido. Ela sugere estender o livro de códigos com categorias de migração, como combinações híbridas não suportadas, e medir se as perguntas de checklist escritas agora evitam erros quando o trabalho real de migração começar.

Exemplo resolvido

O pacote de defesa de Nadia liga dez perguntas difíceis a evidências, seu plano de publicação combina um artigo do experimento com um artigo para profissionais, e seu cronograma de divulgação com a Meridian é assinado antes da submissão.

Caso sintético. A banca, as decisões dos veículos e o cronograma da Meridian são inventados; o FIPS 203, o 204 e o 205 são normas reais.

Erros e limites

Uma defesa não se vence com certeza; afirmações além das evidências convidam ao fracasso. Os planos de publicação nunca devem andar mais depressa do que a capacidade da parceira de corrigir o que a pesquisa revela.

Exercícios

• EX045 — Plateias simuladas. Por que o Prof. Brandt usou colegas que não tinham lido a tese? Rubrica: 3 = eles fazem as perguntas ingênuas que a banca muitas vezes faz primeiro;; 2 = visão nova;; 1 = disponibilidade;; 0 = nenhuma.

• EX046 — Resposta delimitada. Como Nadia respondeu se o estudo prova que os checklists funcionam? Rubrica: 3 = redução considerável numa empresa ao longo de um trimestre, evidências do teste de permutação, do cegamento e do terceiro auditor; durabilidade e transferência em aberto;; 2 = parcial;; 1 = "sim";; 0 = nenhuma.

• EX047 — Pergunta sobre explorabilidade. Por que os achados não foram testados quanto à explorabilidade? Rubrica: 3 = a aprovação ética proibia trabalho de exploração; as violações do livro de códigos são uma aproximação reconhecida;; 2 = um motivo;; 1 = tempo;; 0 = nenhuma.

• EX048 — Fontes para profissionais. Que fontes públicas apoiam os itens do checklist no artigo para profissionais? Rubrica: 3 = SP 800-38D para nonces, SP 800-57 para o ciclo de vida das chaves, RFC 9106 para senhas;; 2 = duas;; 1 = uma;; 0 = nenhuma.

• EX049 — Cronograma de divulgação. Descreva a ordem de divulgação acordada. Rubrica: 3 = arquivo na aceitação; artigo para profissionais após a implantação completa; novos problemas primeiro pela divulgação da Meridian;; 2 = duas partes;; 1 = uma;; 0 = nenhuma.

• EX050 — Continuidade pós-quântica. Que normas motivam o segundo estudo de continuidade, e por quê? Rubrica: 3 = FIPS 203, 204, 205 (ML-KEM, ML-DSA, SLH-DSA); a migração acrescenta parâmetros, chaves maiores e híbridos sujeitos a uso indevido;; 2 = só as normas;; 1 = "quântico";; 0 = nenhuma.

Síntese

Uma defesa forte nomeia os limites da afirmação antes que a banca o faça, e um plano de publicação coordenado com o parceiro transforma as evidências em prática mais segura sem expor sistemas em produção.

Continue estudando — aula 08 (capítulo 08 de 08)

← Capítulo 07 · Índice das aulas · Próximo curso pelo índice →

O índice aponta para o próximo curso do percurso de estudos.

Resoluções

Respostas-modelo para EX001–EX050. Nadia Haddad, o Prof. Oskar Brandt, a Larkspur University, a Meridian Payments Cooperative e todos os números são sintéticos; as respostas dos laboratórios citam saídas verificadas. Qualquer resposta que atenda à rubrica recebe a mesma pontuação.

EX001. Acrescentar um checklist de uso indevido de criptografia e lint automatizado à revisão reduz os achados confirmados de uso indevido a cada dez mudanças integradas, em comparação com a revisão habitual da Meridian?

EX002. Uso indevido é uma primitiva correta usada de modo que sua garantia deixa de valer; reutilizar um nonce do GCM sob uma mesma chave quebra a confidencialidade e a autenticidade que o SP 800-38D promete.

EX003. Observada 0,854 (41 de 48), ao acaso 0,263, kappa 0,802.

EX004. Primitive-choice recebeu cinco das sete discordâncias; a nova regra codifica a derivação de chave como key-handling, a menos que o próprio algoritmo esteja obsoleto.

EX005. Só depois que a correção for implantada ou o código desativado, e com os nomes de repositórios e os identificadores de chaves pseudonimizados.

EX006. Escalá-lo ao líder de segurança da Meridian em até um dia útil, independentemente do braço do estudo em que a equipe está.

EX007. Diferenças de habilidade entre as equipes poderiam explicar os resultados; a atribuição aleatória das equipes aos braços controla isso.

EX008. A segurança das primitivas padrão, como o AES, o SHA-2 e as assinaturas digitais do FIPS 186-5, está resolvida; a lacuna aberta é como o código das aplicações escolhe parâmetros, nonces e armazenamento de chaves ao chamá-las.

EX009. No máximo 2^32 invocações por chave, porque nonces aleatórios podem colidir, e uma colisão de nonce no GCM revela o XOR dos textos claros e permite que um atacante forje tags.

EX010. Cerca de 1,164 × 10^-10, aproximadamente uma chance em 8,6 bilhões.

EX011. Cerca de 7,6 × 10^-6 para uma chave usada 2^40 vezes; o risco é determinado pela contagem e pela rotação das chaves, e não pela cifra em si.

EX012. Projetar primitivas resistentes a uso indevido, e estudar desenvolvedores, interfaces e ferramentas; o estudo de Nadia está na linha das ferramentas.

EX013. A população estudada, como o uso indevido foi medido e se foi observado código entregue ou tarefas de laboratório.

EX014. Ela não afirma que o checklist impede todo uso indevido, nem que os achados se generalizam para organizações sem bibliotecas avaliadas.

EX015. Ao longo de um trimestre, as equipes que usam o checklist e a etapa de lint terão uma média menor de achados de uso indevido confirmados pelo auditor a cada dez mudanças integradas que tocam criptografia do que as equipes que usam a revisão habitual.

EX016. Os avisos do lint mediriam as próprias regras da ferramenta e inflariam seu efeito aparente, enquanto os incidentes reais são infrequentes demais para contar num único trimestre.

EX017. Qualquer mudança integrada que importe o wrapper criptográfico aprovado da Meridian ou os módulos hashlib, hmac ou secrets.

EX018. Os engenheiros de uma equipe compartilham hábitos de revisão, então atribuir mudanças individuais deixaria a intervenção vazar para as mudanças de controle.

EX019. Por exemplo: H1 e H2, o desfecho primário, a regra de inclusão e o teste de permutação com 20.000 embaralhamentos (além da política de semente e das regras de atrito e de desvio).

EX020. Se as senhas são armazenadas com uma função memory-hard como o Argon2, conforme especificado na RFC 9106.

EX021. Vinte e três de oitenta mudanças amostradas, ou 28,8 por cento.

EX022. Key-handling, com nove achados confirmados.

EX023. A suposição da Meridian de que sua biblioteca wrapper já tinha tornado raro o uso indevido de criptografia.

EX024. Uma redução pela metade da média de controle poderia ser detectada com doze equipes por braço; uma queda de 20 por cento não.

EX025. Avisos falsos positivos de nonce nos fixtures de teste, auditores adivinhando o braço pelos comentários do checklist nas descrições de merge e revisores lendo "rotação" de forma errada.

EX026. Duas equipes voluntárias ao longo de quatro semanas não são nem aleatórias nem grandes o bastante, e um número precoce poderia direcionar as decisões posteriores.

EX027. O líder de segurança da Meridian rodou o script com a semente registrada, mantendo a alocação fora do controle da pesquisadora.

EX028. Se a intervenção não faz nada, qual equipe recebeu qual rótulo é arbitrário, então reembaralhar os rótulos gera a distribuição das diferenças esperadas ao acaso.

EX029. Checklist 0,42, habitual 1,58, diferença 1,17, p unilateral = 0,0034.

EX030. Oito de doze equipes com checklist tiveram zero uso indevido confirmado, contra duas de doze equipes de revisão habitual.

EX031. O lint respondeu por cerca de um terço dos achados de nonce evitados, mas a maioria dos achados de key-handling evitados veio de perguntas do checklist fora do alcance da ferramenta.

EX032. Efeitos de observação, uma incerteza ampla por haver só doze conglomerados por braço, segredos de implantação não vistos e transferência limitada para empresas sem um wrapper maduro.

EX033. Leitores da criptografia, da metodologia e da prática eram os mais capazes de encontrar cedo os pontos mais fracos do artigo, antes que os revisores do periódico o fizessem.

EX034. O peso igual ignora a severidade; ela acrescentou uma análise de sensibilidade ponderada por severidade, com uma escala fixada antes da reclassificação, que manteve a direção, mas reduziu a diferença.

EX035. Oito por cento menos merges que tocam criptografia e cerca de doze minutos a mais de tempo mediano de revisão nas equipes com checklist.

EX036. A diferença caiu para cerca de 0,9 achado a cada dez mudanças, mas continuou positiva, relatada como análise exploratória não registrada.

EX037. Estratificar a randomização futura pela idade do código, além da linha de produto.

EX038. A medida não ponderada era o desfecho primário registrado, e substituí-la depois de abrir o cegamento quebraria o pré-registro.

EX039. Numa organização de pagamentos, acrescentar um checklist de uso indevido de criptografia e lint reduziu o uso indevido confirmado a cada dez mudanças que tocam criptografia ao longo de um trimestre, com um pequeno custo de tempo, sobretudo ao reduzir os erros de key-handling.

EX040. Os diffs, os nomes de repositórios e qualquer detalhe que possa identificar um sistema da Meridian, porque o acordo de dados proíbe divulgá-los.

EX041. Raiz 4ed0159418d1b231 antes da edição e 1fcc81b868bef821 depois, então a verificação de correspondência imprimiu False.

EX042. O manifesto mostra que os arquivos não mudaram desde a publicação, mas não quem os criou; provar a origem exigiria uma assinatura como o Ed25519 da RFC 8032.

EX043. A raiz é calculada sobre os digests em ordem, então outra ordenação de arquivos idênticos produz uma raiz diferente e falsos alarmes.

EX044. O item poderia ajudar alguém a localizar ou explorar uma fraqueza que talvez ainda esteja ativa? As anotações dos auditores não passam, porque citam serviços internos.

EX045. Leitores que não conhecem a tese levantam as perguntas simples e básicas com que as bancas reais costumam abrir.

EX046. Ele mostra uma redução grande numa organização ao longo de um único trimestre, apoiada pelo teste de permutação, pelos auditores cegos e por uma conferência de terceiros, enquanto a durabilidade de longo prazo e a transferência continuam sem resposta.

EX047. A aprovação ética proibia testes de exploração, e as violações confirmadas das regras do livro de códigos são uma aproximação aceita, e não uma contagem de invasões.

EX048. O SP 800-38D para os limites de nonce, o SP 800-57 Part 1 para o ciclo de vida das chaves e a RFC 9106 para o hash de senhas.

EX049. O arquivo é publicado na aceitação, o texto para profissionais depois da implantação completa na Meridian, e qualquer problema novo passa pelo processo de divulgação da Meridian antes da publicação.

EX050. O FIPS 203, o 204 e o 205 padronizam o ML-KEM, o ML-DSA e o SLH-DSA; a migração traz novos parâmetros, chaves maiores e handshakes híbridos que criam novos riscos de uso indevido.