Capítulo 6 — Crítica de pares e revisão

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 hipóteses"]
  N1["6.2 Condições de fronteira"]
  N2["6.3 A alegação estreitada"]
  N3["6.4 Revisão de duplo uso"]
  N4["6.5 Respondendo aos revisores"]
  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 hipóteses"]
  N1["6.2 Condições de fronteira"]
  N2["6.3 A alegação estreitada"]
  N3["6.4 Revisão de duplo uso"]
  N4["6.5 Respondendo aos revisores"]
  N5["Síntese do capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX033"]

[6.1 Objeções como hipóteses]
    |
    v
[6.2 Condições de fronteira]
    |
    v
[6.3 A alegação estreitada]
    |
    v
[6.4 Revisão de duplo uso]
    |
    v
[6.5 Respondendo aos revisores]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX033]

Objetivos de aprendizagem e conexão

Ao final deste capítulo, você será capaz de (1) organizar uma revisão interna de equipe vermelha (red team) das suas próprias alegações, (2) converter objeções em hipóteses testáveis, (3) caracterizar condições de fronteira em vez de escondê-las, (4) fazer uma revisão de duplo uso de um artigo antes da submissão e (5) escrever uma carta de resposta aos revisores que responda de fato. Ele ataca os resultados do Capítulo 5 e alimenta o argumento da tese do Capítulo 7.

6.1 Objeções como hipóteses

Convide dois colegas — idealmente um engenheiro de controle e um pesquisador de segurança ofensiva — para atacar as alegações. Registre cada objeção como uma hipótese com um teste:

A segunda objeção é a mais importante: ela revela que a força da defesa é uma propriedade arquitetural (caminhos de medição independentes), e não algorítmica. A alegação da tese é revisada de acordo.

6.2 Condições de fronteira

Uma boa tese mapeia onde o método funciona. Para o Setpoint Study, as fronteiras são: (1) uma segunda medição independente da mesma física precisa existir e estar fora do controle do atacante; (2) o erro do modelo precisa ser menor do que o sinal do ataque; (3) ataques mais lentos do que a folga podem escapar, mas o seu impacto dentro de um horizonte declarado é limitado (no modelo, ≤1,37 unidade de transbordamento em 300 passos para ganhos ≤0,01). Elas são declaradas no resumo, não enterradas numa seção de limitações.

Cada fronteira deve ser declarada com a evidência que a mede: a inspeção da fiação da T2 para a primeira, a varredura do viés de calibração no Laboratório 6 para a segunda e a varredura do ganho do ataque da revisão da equipe vermelha para a terceira.

6.3 A alegação estreitada

Antes: "O CUSUM baseado em física detecta manipulação de sensores em estações de água." Depois: "Onde um sensor com fiação independente mede uma grandeza ligada por um balanço de massa conhecido, um CUSUM de resíduo com folga ajustada para o erro de calibração esperado detecta ataques de replay de um único sensor que os alarmes de faixa deixam passar e limita o transbordamento alcançável por ataques mais lentos; ele não oferece nenhuma proteção quando o atacante controla os dois caminhos de medição." A alegação estreitada tem alcance menor e evidências muito mais fortes.

Mantenha as versões de antes e de depois na tese, para que os leitores vejam como a crítica mudou o argumento. Confira cada frase posterior em relação à alegação estreitada: um resumo ou uma conclusão que volte a falar de estações de água em geral desfaz o trabalho. A alegação estreitada também dá aos operadores um teste direto do próprio local: a segunda medição tem fiação independente?

6.4 Revisão de duplo uso

Antes da submissão, pergunte: o artigo dá uma receita para a evasão da classe B contra um produto nomeado? (Não: ele descreve a classe de capacidade, que já está documentada como manipulação da visão.) Ele revela a configuração da T2? (Só a estrutura genérica.) Um defensor ganharia mais do que um atacante? (Sim: a recomendação arquitetural — caminhos de medição independentes — é acionável para os defensores e bem conhecida dos atacantes capazes.) Registre as respostas no apêndice da tese.

Peça a um revisor de fora do projeto que responda às mesmas perguntas sem ver as suas respostas e registre qualquer discordância e como ela foi resolvida. Se um trabalho posterior encontrar uma falha específica de um produto, como um CLP que aceita escritas que deveria recusar, a revisão é repetida e a divulgação é conduzida pelo processo coordenado antes da publicação.

6.5 Respondendo aos revisores

Responda a cada ponto, cite-o, declare o que mudou e onde, e discorde com evidências quando precisar. Exemplo: "O Revisor 2 afirma que o CUSUM não é novo. Concordamos e revisamos a §1 para posicionar a contribuição como uma medição de quando os invariantes entre sensores ajudam contra a manipulação da visão, citando Page (1954) e Giraldo et al. (2018). A nova declaração de contribuição está na p. 3."

Mantenha uma tabela com uma linha por ponto do revisor: a citação, a sua resposta, a mudança feita e a sua localização. Onde discordar, cite o resultado medido, como a classe B escapando em todos os ensaios, em vez de repetir a sua opinião. Envie a tabela com o manuscrito revisado, para que o editor possa conferir cada mudança.

6.6 Erros comuns e limites

Defender em vez de testar; esconder a falha da classe B; alegar generalidade entre plantas depois de dois contextos; responder aos revisores sem declarar as mudanças.

Cada erro transforma a crítica em defesa. Responda à objeção da rampa lenta com a varredura do ganho, não com garantias. Ponha a classe B no resumo. Limite a generalidade aos dois contextos medidos, o modelo da Plant A e a Bancada de testes T2. Nas cartas aos revisores, declare o que mudou e onde, para que um leitor possa verificar a revisão em vez de confiar na alegação. Mantenha a tabela de objeções na tese.

Exercícios — capítulo 6

• EX033 — A objeção de sobreajuste como teste. Transforme a objeção "o seu limiar está sobreajustado" numa hipótese e num teste. Rubrica: 3 = hipótese de queda em sementes não vistas/T2 + ajustar 0–99 / avaliar 1000–1099 e T2; 2 = hipótese sem protocolo; 1 = repete a objeção; 0 = nenhum.
• EX034 — Varrer o ganho do ataque para o CUSUM. Modifique o Laboratório 3 para varrer o ganho do ataque (0,005, 0,01, 0,02, 0,05) para o CUSUM e relate a detecção e o pior transbordamento. Rubrica: 3 = quatro ganhos com contagens de detecção, atrasos e pior transbordamento iguais aos da varredura do laboratório; 2 = dois ganhos; 1 = qualitativo; 0 = nenhum.
• EX035 — Parágrafo de limites para o resumo. Escreva o parágrafo de condições de fronteira para o resumo em ≤ 80 palavras. Rubrica: 3 = ≤80 palavras: segunda medição independente, erro do modelo < ataque, ataques lentos ≤1,37 de transbordamento; 2 = limites sem números; 1 = alegação excessiva; 0 = nenhum.
• EX036 — Estreitar a alegação sobre saneamento. Reescreva a alegação "o método protege as concessionárias de água" como uma alegação estreitada. Rubrica: 3 = dois contextos sintéticos + vazão independente + falha na classe B; 2 = estreitada, mas ainda "saneamento"; 1 = edição menor; 0 = alegação original.
• EX037 — Uso dual da sequência exata de falsificação na T2. Faça uma revisão de duplo uso para a publicação da sequência exata de falsificação do medidor de vazão usada na T2. Rubrica: 3 = publicar classe+defesa; sequência exata da T2 só sob CVD/fornecedor; 2 = reter sem caminho; 1 = publicar tudo; 0 = nenhum.
• EX038 — Resposta sobre a representatividade da bancada. Escreva uma resposta ao revisor para "Os resultados da bancada de testes não são representativos de plantas reais." Rubrica: 3 = concordar com a diferença, apontar as alegações estreitadas + limiares congelados na T2 + risco residual; 2 = concorda sem apontar evidências; 1 = descarta; 0 = nenhum.

Síntese do capítulo

A crítica é dado: converta as objeções em testes, deixe que elas estreitem a alegação, publique as condições de fronteira com destaque e faça a revisão de duplo uso antes da submissão. A objeção mais valiosa aqui transformou uma alegação algorítmica numa alegação arquitetural.

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.