Capítulo 4 — Segurança de TO, IoT e sistemas ciberfísicos: explicações concorrentes

Mapa da aula

Aula 04 publicada. Mapa, exemplo, EX021.

flowchart TD
  N0["4.1 Rivais para uma vantagem do CUSUM"]
  N1["4.2 A rival arquitetural"]
  N2["Síntese do capítulo"]
  N0 --> N1 --> N2
  N2 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX021"]

Desenho lógico

flowchart LR
  N0["4.1 Rivais para uma vantagem do CUSUM"]
  N1["4.2 A rival arquitetural"]
  N2["Síntese do capítulo"]
  N0 --> N1 --> N2 --> Q["EX021"]

[4.1 Rivais para uma vantagem do CUSUM]
    |
    v
[4.2 A rival arquitetural]
    |
    v
[Síntese do capítulo]
    |
    v
[Exemplo resolvido] --> [Exercício EX021]

Objetivos de aprendizagem e conexão

Depois deste capítulo, você consegue (1) listar explicações rivais para um resultado de detecção, (2) planejar observações que as distingam entre si e (3) revisar as alegações quando uma rival sobrevive.

4.1 Rivais para uma vantagem do CUSUM

(1) Limiares ajustados nos dados de teste. (2) Simulador limpo demais (sem viés de calibração). (3) Magnitude do ataque escolhida para favorecer o CUSUM. (4) Alarme de faixa ajustado de forma incomumente apertada ou frouxa. (5) A avaliação usa F1 com ajuste por pontos. Cada rival tem um teste: ajuste com sementes separadas, varreduras de viés, varreduras de ganho, relatar a taxa de alarmes falsos da faixa, relatar métricas por evento.

Escreva as rivais antes de ver os resultados. Depois dos resultados, é fácil demais inventar apenas as rivais que você já derrotou. Entregue a lista a um colega que não viu o Laboratório 3 e pergunte o que ele acrescentaria. Engenheiros de controle costumam acrescentar rivais de estrutura do modelo; pesquisadores de segurança costumam acrescentar rivais de adversário adaptativo. Ambas pertencem à lista, mesmo que o cronograma de um mestrado só permita testá-las em parte.

4.2 A rival arquitetural

Uma rival mais profunda: "o CUSUM só funciona porque o medidor de vazão é independente; se os dois sensores compartilham um CLP, o método falha." Isso não é um fator de confusão a eliminar — é uma condição de contorno a medir (classe B). As rivais que sobrevivem passam a fazer parte da alegação. Muitos artigos de TO enterram esse tipo de resultado num parágrafo de limitações; as bancas de mestrado pedem cada vez mais que ele apareça no resumo. Trate um limite confirmado como uma constatação: os defensores aprendem que caminhos de medição independentes são pressupostos estruturais.

A mesma lógica vale em outros lugares. Um desenho de segmentação que falha quando as estações de engenharia mantêm caminhos de escrita permanentes descobriu um limite. Um filtro de protocolo que falha quando o tráfego é tunelado dentro de outro protocolo descobriu um limite. Meça-os e coloque-os onde os leitores olham primeiro.

4.3 Exemplo resolvido

Depois do Laboratório 3, as rivais (1) e (5) são tratadas pelo desenho; a rival (2) exige varreduras de viés/orifício no estilo do Laboratório 6; a rival (3) exige uma varredura de ganho; a rival (4) é tratada relatando as 11/80 execuções com alarme falso da faixa. A rival arquitetural é confirmada pela classe B = 0/80.

Escreva esse mapeamento como uma tabela na dissertação: rival, teste, situação, evidência. As rivais testadas apenas em parte, como a varredura de ganho se o tempo ficar curto, permanecem na tabela marcadas como abertas, em vez de desaparecer. A rival arquitetural sai do capítulo de limitações e entra nos resultados, porque a classe B é um resultado medido, não uma preocupação não testada.

4.4 Erros comuns e limites

Listar rivais sem testes; tratar um limite confirmado como uma falha a esconder.

Uma rival sem teste é uma preocupação, não parte da análise. Cada uma precisa de uma observação que sairia diferente se ela fosse verdadeira. Quando uma rival sobrevive, como a rival arquitetural na classe B, relate-a como uma constatação com seus números. Escondê-la deixaria os leitores acreditando que o método de resíduo protege malhas em que um único dispositivo controla as duas medições. O resultado da classe B é o exemplo mais claro deste estudo.

Exercícios — capítulo 4

• EX021 — Cinco rivais para a segmentação em zonas. Escreva cinco rivais para "a segmentação em zonas reduz os ataques" e um teste para cada uma.
  Mostrar critérios de avaliação

  Rubrica: 3 = cinco rivais, cada uma com um teste; 2 = três rivais com testes; 1 = rivais sem testes; 0 = nenhum.
• EX022 — Varredura de ganho para o impacto no estilo de Urbina. Planeje uma varredura de ganho que sustente ou refute a rival (3); preveja o padrão caso a limitação de impacto no estilo de Urbina se confirme.
  Mostrar critérios de avaliação

  Rubrica: 3 = desenho da varredura de ganho + previsão do padrão no estilo de Urbina; 2 = varredura sem previsão; 1 = vago; 0 = nenhum.
• EX023 — Por que a falha na classe B fortalece a tese. Explique por que a falha na classe B fortalece, em vez de enfraquecer, uma tese cuidadosa.
  Mostrar critérios de avaliação

  Rubrica: 3 = falha na classe B como limite caracterizado que torna as alegações mais precisas; 2 = "falhar é honestidade" sem ligação com o limite; 1 = esconde a falha; 0 = nenhum.
• EX024 — Rivais não testadas sob F1 com ajuste por pontos. Para um estudo que relata apenas F1 com ajuste por pontos, quais rivais continuam sem teste?
  Mostrar critérios de avaliação

  Rubrica: 3 = lista as rivais não testadas (atraso, alarmes falsos, impacto, adversário ciente etc.); 2 = duas rivais; 1 = uma; 0 = nenhum.
• EX025 — Diagrama causal até o transbordamento no alarme. Escreva um diagrama causal (como lista de nós e setas) da capacidade do atacante até o transbordamento no alarme.
  Mostrar critérios de avaliação

  Rubrica: 3 = nós/setas de capacidade→falsificação→resíduo/faixa→alarme→transbordamento; 2 = nós sem setas; 1 = parcial; 0 = nenhum.
• EX026 — Controle negativo para o CUSUM de resíduo. Proponha um controle negativo: um ataque que não deveria disparar o CUSUM de resíduo se a garantia estiver correta.
  Mostrar critérios de avaliação

  Rubrica: 3 = ataque de controle negativo que não deveria disparar o resíduo se a garantia se sustenta; 2 = controle sem ligação com a garantia; 1 = vago; 0 = nenhum.

Síntese do capítulo

Rivais com testes transformam uma comparação numa contribuição; limites confirmados pertencem ao resumo.