Capítulo 42 — Arquitetura e engenharia de segurança: pesquisa aplicada

Mapa da aula

Aula 42 publicada. Mapa, exemplo, EX124.

flowchart TD
  N0["42.1 Uma pergunta vinda da prática"]
  N1["42.2 Uso responsável dos dados"]
  N2["Síntese"]
  N0 --> N1 --> N2
  N2 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX124"]

Desenho lógico

flowchart LR
  N0["42.1 Uma pergunta vinda da prática"]
  N1["42.2 Uso responsável dos dados"]
  N2["Síntese"]
  N0 --> N1 --> N2 --> Q["EX124"]

[42.1 Uma pergunta vinda da prática]
    |
    v
[42.2 Uso responsável dos dados]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX124]

Objetivos de aprendizagem

Você vai (1) formular uma pergunta de pesquisa aplicada a partir da prática de engenharia; (2) desenhar um pequeno estudo usando dados da Corvia com responsabilidade; (3) relatar os achados com seus limites.

42.1 Uma pergunta vinda da prática

O projeto de pesquisa aplicada de Sofia pergunta se os certificados de dispositivo de curta duração, introduzidos no capítulo 31, reduziram a janela em que validadores desativados ainda conseguiam se autenticar. A pergunta vem da prática e importa para a Corvia. Ela define o desfecho como os dias entre a desativação e a última autenticação bem-sucedida, compara os dispositivos desativados antes e depois da mudança e lista rivais, como uma melhoria simultânea nos registros de ativos. Herley e van Oorschot (2017) alertam contra afirmações de segurança que não podem ser testadas; a pergunta dela nomeia exatamente o que mostraria ausência de efeito.

42.2 Uso responsável dos dados

O estudo usa os logs operacionais da Corvia, que contêm identificadores de dispositivos, mas nenhum dado de passageiros. Sofia combina com Daniel e com o encarregado de proteção de dados quais campos pode usar, guarda os extratos numa área de projeto com controle de acesso e os exclui depois do estudo. Ela pseudonimiza os identificadores de dispositivos em todas as saídas. Até dados técnicos podem ser sensíveis: uma lista de dispositivos que continuaram se autenticando depois da desativação poderia guiar um atacante até os pontos fracos. Seu relatório, portanto, apresenta agregados e distribuições, não listas de dispositivos, e ela compartilha a lista detalhada apenas com o responsável pelas operações.

42.3 Achados com limites

Os dispositivos desativados depois da mudança deixaram de se autenticar numa mediana de dois dias, contra onze dias antes. A melhoria dos registros de ativos aconteceu ao mesmo tempo, então Sofia não consegue separar totalmente as duas causas; ela observa que os dispositivos cujos registros de ativos já eram exatos antes da mudança também melhoraram, o que sustenta fracamente o efeito dos certificados. Ela relata o achado com essa limitação e recomenda o monitoramento contínuo. O projeto lhe ensina que até perguntas modestas de engenharia precisam de um desenho cuidadoso para produzir respostas confiáveis.

Exemplo resolvido

Sofia estuda a autenticação depois da desativação antes e depois dos certificados de curta duração, usa os logs dentro de limites acordados e relata uma queda de onze para dois dias, registrando um fator de confusão.

Caso sintético. Os logs, os dispositivos e os resultados são sintéticos; Herley e van Oorschot (2017) é real.

Erros e limites

Desenhos antes e depois não conseguem excluir mudanças simultâneas. Contagens pequenas de dispositivos tornam as medianas instáveis.

Exercícios

• EX124 — Definição do desfecho. Que desfecho Sofia mediu?

  Mostrar critérios de avaliação

  Rubrica: 3 = dias entre a desativação e a última autenticação bem-sucedida;; 2 = definido;; 1 = vago;; 0 = nenhuma.

• EX125 — Cuidado com a lista de dispositivos. Por que o relatório evita listar dispositivos individuais?

  Mostrar critérios de avaliação

  Rubrica: 3 = uma lista assim poderia guiar atacantes até os pontos fracos;; 2 = mapa para atacantes;; 1 = sem motivo;; 0 = nenhuma.

• EX126 — Fator de confusão. Que fator de confusão limita a conclusão?

  Mostrar critérios de avaliação

  Rubrica: 3 = as melhorias nos registros de ativos aconteceram ao mesmo tempo;; 2 = registros de ativos;; 1 = vago;; 0 = nenhuma.

Síntese

A pesquisa aplicada transforma mudanças de engenharia em afirmações testadas quando perguntas, tratamento de dados e limites são explícitos.