Capítulo 6 — Crítica de pares e revisão
Mapa da aula
Aula 06 publicada. Mapa, exemplo, EX033.
flowchart TD
N0["6.1 Objeções como testes"]
N1["6.2 Equipe vermelha contra as suas próprias alegaçõe"]
N2["6.3 A fronteira arquitetural"]
N3["6.4 Estreitar uma alegação"]
N4["6.5 Revisão de uso dual"]
N5["Síntese do capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5
N5 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX033"]
Desenho lógico
flowchart LR
N0["6.1 Objeções como testes"]
N1["6.2 Equipe vermelha contra as suas próprias alegaçõe"]
N2["6.3 A fronteira arquitetural"]
N3["6.4 Estreitar uma alegação"]
N4["6.5 Revisão de uso dual"]
N5["Síntese do capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX033"]
[6.1 Objeções como testes]
|
v
[6.2 Equipe vermelha contra as suas próprias alegaçõe]
|
v
[6.3 A fronteira arquitetural]
|
v
[6.4 Estreitar uma alegação]
|
v
[6.5 Revisão de uso dual]
|
v
[Síntese do capítulo]
|
v
[Exemplo resolvido] --> [Exercício EX033]
Objetivos de aprendizagem e conexão
Depois deste capítulo, você consegue (1) converter as objeções dos revisores em testes; (2) conduzir uma revisão interna de equipe vermelha das suas próprias alegações; (3) encontrar a fronteira arquitetural além da qual um método não consegue ver; (4) estreitar uma alegação sem abandoná-la; e (5) conduzir uma revisão de uso dual de um método de inventário. Ele toma os resultados do Capítulo 5 e prepara o argumento da tese do Capítulo 7.
6.1 Objeções como testes
A objeção de um revisor é uma hipótese sobre o seu erro. Trate cada uma como um teste com um resultado possível, e não como um ataque a ser rebatido. Três objeções da revisão sintética do artigo do Ciphertrail ilustram o método. O1: "A telemetria passiva pode encontrar appliances só porque os appliances da HRHN por acaso ficam no segmento monitorado." Teste: refazer a análise restrita aos appliances em segmentos com e sem sensores; o ganho desaparece fora dos sensores, confirmando que o benefício do método depende da posição dos sensores — uma condição de escopo, agora enunciada. O2: "Os adjudicadores poderiam inferir a procedência pela formatação." Teste: entregar 50 itens a dois novos engenheiros, com a formatação normalizada; o κ com os rótulos originais é 0,81, então a objeção fica enfraquecida, mas é registrada. O3: "A revocação de usos não é risco; um arquivo embrulhado com RSA importa mais do que cem servidores web internos." Isso não é testável dentro dos dados; é uma objeção de construto, respondida acrescentando uma revocação ponderada pela sensibilidade e admitindo que a ponderação é uma decisão, não uma medição.
6.2 Equipe vermelha contra as suas próprias alegações
Antes da revisão externa, designe um colega para argumentar que cada alegação é falsa. Uma tabela útil de equipe vermelha tem quatro colunas: alegação, objeção mais forte, teste ou concessão, situação depois da revisão. A equipe vermelha na pesquisa em PQC deve sempre incluir uma objeção do lado do modelo de ameaça: a negociação híbrida protege o estabelecimento de chaves apenas se as partes clássica e pós-quântica forem combinadas como especificado e não houver caminho de rebaixamento. Um inventário que registra o X25519MLKEM768 como negociado não diz nada sobre se um cliente aceitaria silenciosamente um grupo só clássico vindo de um atacante ativo — uma propriedade separada, que o inventário não mede.
6.3 A fronteira arquitetural
Todo método tem um lugar que não consegue ver. Para o inventário de duas fontes, a fronteira inclui: as assinaturas dos certificados do TLS 1.3, a menos que os pontos finais cooperem; as assinaturas de atualização de firmware verificadas offline dentro dos dispositivos; os dados em repouso cifrados por serviços de terceiros; e os protocolos transportados dentro de túneis VPN que o sensor não consegue abrir. Enuncie a fronteira na tese como um diagrama e uma lista. Os examinadores respeitam mais um candidato que mostra onde o método para do que um que dá a entender que ele cobre tudo.
Desenhe o diagrama com cada zona cega rotulada pelo observador que não a vê.
6.4 Estreitar uma alegação
Alegação original: "O inventário de duas fontes melhora substancialmente a descoberta de criptografia vulnerável à computação quântica." Alegação estreitada depois da crítica: "Onde os sensores passivos observam os segmentos relevantes, o inventário de duas fontes aumentou de 0,10 a 0,21 a revocação dos usos de estabelecimento de chaves vulneráveis à computação quântica e das assinaturas visíveis em TLS 1.2, em duas organizações sintéticas, concentrando-se nos appliances de fornecedores; não melhorou a descoberta de usos em dados em repouso nem em assinaturas de firmware offline." A alegação estreitada é menor e muito mais difícil de refutar — exatamente a troca que uma tese deve fazer.
Confira o título, o resumo e as conclusões com a alegação estreitada antes da submissão.
6.5 Revisão de uso dual
Um método de inventário é um mapa de onde uma organização é mais fraca. Inventários publicados, ou ferramentas que identificam criptografia legada em toda a internet, poderiam guiar um coletor do tipo "colher agora, decifrar depois" até os alvos de maior valor. A revisão de uso dual pergunta: a divulgação inclui dados que identificam a organização (não deve incluir); a configuração padrão da ferramenta varre apenas alvos autorizados pelos donos; as fraquezas em produtos nomeados são relatadas aos fornecedores por divulgação coordenada (a ISO/IEC 29147 descreve a divulgação de vulnerabilidades) antes da publicação; e o artigo descreve classes de fraquezas, em vez de listas de hosts vulneráveis?
6.6 Exemplo resolvido: a carta de resposta
A carta de resposta sintética começa com uma tabela que associa cada objeção a uma mudança: O1 → nova condição de escopo e uma análise fora dos sensores (Seção 5.4 do artigo); O2 → nova verificação de robustez, κ relatado; O3 → revocação ponderada pela sensibilidade acrescentada, e o resumo agora diz "usos" em vez de "risco". Ela agradece aos revisores sem bajulação, admite o que estava certo e explica as discordâncias com evidências. Onde os autores discordam — um revisor pediu a varredura ativa de dispositivos médicos para "completar" a verdade de referência —, a carta explica o argumento de dano do Capítulo 1 e oferece em troca um experimento em bancada de testes.
6.7 Erros comuns e limites
- Rebater objeções retoricamente, em vez de testá-las.
- Estreitar uma alegação na discussão, mas não no título e no resumo.
- Confundir o inventário dos algoritmos negociados com a resistência ao rebaixamento.
- Publicar constatações por organização que viram uma lista de alvos.
- Fazer a equipe vermelha apenas com amigos que compartilham os seus pressupostos.
Cada erro tem um remédio já usado na revisão do Ciphertrail: as objeções O1 e O2 viraram testes, a alegação estreitada passou para o resumo, a resistência ao rebaixamento foi nomeada como fora do método e a revisão de uso dual removeu os dados que identificavam a organização. Para a equipe vermelha, peça a alguém do lado do modelo de ameaça que não compartilhe os seus pressupostos.
Exercícios — capítulo 6
- EX033 — Da objeção ao teste. Converta três objeções suas em testes com resultados possíveis. Rubrica: 3 = cada teste poderia mudar a conclusão.
- EX034 — Tabela de equipe vermelha. Monte uma tabela de equipe vermelha de quatro colunas para as três principais alegações do Ciphertrail. Rubrica: 3 = inclui uma objeção do modelo de ameaça.
- EX035 — Diagrama da fronteira. Desenhe (ou descreva em texto) a fronteira arquitetural do inventário de duas fontes, com pelo menos cinco zonas não vistas. Rubrica: 3 = zonas precisas e cada uma ligada a um enunciado de escopo.
- EX036 — Estreitar. Estreite "O TLS híbrido torna o nosso hospital seguro contra a computação quântica" numa alegação defensável. Rubrica: 3 = nomeia a propriedade, o escopo e o que continua vulnerável.
- EX037 — Revisão de uso dual. Complete uma revisão de uso dual para a divulgação do corpus da HRHN. Rubrica: 3 = decide o que é divulgado e por quê.
- EX038 — Carta de resposta. Escreva a seção da carta que responde a O3. Rubrica: 3 = admite o ponto de construto e mostra a mudança.
Síntese do capítulo
A crítica melhora uma tese quando as objeções viram testes, a zona cega do método é desenhada explicitamente, as alegações encolhem até o que sobrevive e a divulgação é revisada quanto a danos. Evidências de inventário não são evidências de resistência ao rebaixamento nem de redução de risco sem argumentação adicional.
Continue estudando — capítulo 06 de 08
← Capítulo 05 · Índice de capítulos do curso · Capítulo 07 →
Siga para a próxima lição escrita.