Capítulo 4 — Arquitetura e engenharia de segurança: explicações concorrentes

Capítulo 4 — Arquitetura e engenharia de segurança: explicações concorrentes

Mapa da aula

Aula 04 publicada. Mapa, exemplo, EX021.

flowchart TD
  N0["4.1 Rivais da hipótese principal"]
  N1["4.2 Verificações que separam as rivais"]
  N2["4.3 Artefatos de modelagem"]
  N3["4.4 O que mudaria a conclusão"]
  N4["4.5 Discussão das rivais com praticantes"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5
  N5 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX021"]

Desenho lógico

flowchart LR
  N0["4.1 Rivais da hipótese principal"]
  N1["4.2 Verificações que separam as rivais"]
  N2["4.3 Artefatos de modelagem"]
  N3["4.4 O que mudaria a conclusão"]
  N4["4.5 Discussão das rivais com praticantes"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX021"]

[4.1 Rivais da hipótese principal]
    |
    v
[4.2 Verificações que separam as rivais]
    |
    v
[4.3 Artefatos de modelagem]
    |
    v
[4.4 O que mudaria a conclusão]
    |
    v
[4.5 Discussão das rivais com praticantes]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX021]

Objetivos de aprendizagem

Você vai (1) listar as explicações rivais para um resultado esperado; (2) desenhar verificações que as distingam; (3) reconhecer os artefatos das escolhas de modelagem; (4) decidir de antemão o que mudaria sua conclusão.

4.1 Rivais da hipótese principal

Kenji espera que a microssegmentação baseada em identidade reduza o alcance. Antes de testar, ele lista as rivais que poderiam produzir o mesmo padrão. Primeiro, a diferença poderia vir só do número de arestas permitidas, e não da identidade: qualquer política com menos arestas pareceria melhor. Segundo, ela poderia depender do tamanho da rede e aparecer só em redes pequenas. Terceiro, poderia ser um artefato do modo como ele gerou as regras de identidade, dando a cada estação exatamente um servidor. Quarto, os resultados poderiam depender dos jump hosts, que o laboratório do capítulo 3 mostrou serem capazes de apagar o benefício. Cada rival prevê algo diferente que ele pode verificar.

4.2 Verificações que separam as rivais

Para a rival do número de arestas, Kenji acrescenta uma política de controle: arestas aleatórias removidas da rede plana até ela ter o mesmo número de arestas da política por identidade. Se a identidade ainda vencer esse controle aleatório, a estrutura importa, e não só o número de arestas. Para a rival do tamanho, ele gera redes de três tamanhos. Para o artefato de geração, varia quantos servidores cada identidade pode alcançar, de um a quatro. Para os jump hosts, varia a amplitude das suas regras. Cada verificação é um pequeno experimento escrito no plano antes das execuções principais, para que a dissertação possa relatar quais rivais sobreviveram.

4.3 Artefatos de modelagem

Os resultados de simulação podem refletir as escolhas de modelagem, e não a realidade. O modelo de Kenji trata todos os hosts como igualmente exploráveis, ignora o tempo e supõe que as políticas são aplicadas com perfeição. Se os pontos de aplicação reais estiverem mal configurados uma parte do tempo, as políticas por identidade, com muitas regras finas, podem vazar mais do que as políticas por zonas, com poucas regras amplas. Ele acrescenta um parâmetro de configuração incorreta que adiciona ao acaso uma pequena parcela de arestas não intencionais. Isso retoma a preocupação com a economia de mecanismo do seminário: conjuntos complexos de regras oferecem mais chances de erro, e o modelo deve conseguir mostrar esse tradeoff, em vez de eliminá-lo por premissa.

4.4 O que mudaria a conclusão

Kenji escreve, antes de ver os resultados, o que o faria concluir que a segmentação baseada em identidade não oferece uma vantagem relevante: se seu alcance médio ficar a menos de um servidor do controle de arestas aleatórias, ou se uma taxa de configuração incorreta de dois por cento apagar a maior parte da diferença. Escrever esses limiares de antemão o protege de mudar as regras do jogo depois de ver os dados. A Dra. Aydın observa que a maioria das dissertações de mestrado nunca declara essas condições, e que fazê-lo é um dos sinais mais claros de maturidade de pesquisa que um examinador pode ver.

4.5 Discussão das rivais com praticantes

Kenji apresenta sua lista de rivais a dois engenheiros de rede da Vantor. Eles acrescentam uma rival que ele não tinha visto: na prática, as regras baseadas em identidade costumam ser escritas copiando modelos, de modo que muitas estações acabam com o mesmo acesso amplo, o que reduz o benefício. Ele acrescenta um parâmetro de modelo que faz uma parcela das estações herdar um conjunto amplo de regras. Os praticantes conhecem modos de falha que a literatura raramente registra, e consultá-los cedo melhora o realismo do modelo. Ele reconhece a contribuição deles na dissertação sem nomeá-los, como combinado.

Exemplo resolvido

Kenji lista cinco rivais, acrescenta um controle de arestas aleatórias, variações de tamanho e de geração, uma taxa de configuração incorreta e um parâmetro de cópia de modelos, e escreve os limiares que derrubariam sua expectativa.

Caso sintético. As rivais, os limiares e a contribuição dos engenheiros são sintéticos.

Erros e limites

Nenhuma lista de rivais é completa. Os parâmetros acrescentados para modelar a realidade podem multiplicar as execuções e tentar a um relato seletivo.

Exercícios

• EX021 — Rival do número de arestas. O que o controle de arestas aleatórias testa? Rubrica: 3 = se a vantagem da identidade vem da estrutura ou só de ter menos arestas;; 2 = estrutura;; 1 = vago;; 0 = nenhuma.

• EX022 — Artefato de geração. Como Kenji testa o artefato de geração das regras de identidade? Rubrica: 3 = varia de um a quatro quantos servidores cada identidade pode alcançar;; 2 = varia;; 1 = ignora;; 0 = nenhuma.

• EX023 — Parâmetro de configuração incorreta. Por que acrescentar ao modelo uma taxa de configuração incorreta? Rubrica: 3 = a aplicação real erra, e conjuntos complexos de regras oferecem mais chances de erro;; 2 = erros;; 1 = não é necessário;; 0 = nenhuma.

• EX024 — Limiares de reversão. Enuncie uma condição pré-definida que derrubaria a expectativa de Kenji. Rubrica: 3 = identidade a menos de um servidor do controle aleatório, ou dois por cento de configuração incorreta apagando a maior parte do ganho;; 2 = uma;; 1 = vago;; 0 = nenhuma.

• EX025 — Rival dos praticantes. Que rival os engenheiros acrescentaram? Rubrica: 3 = a cópia de modelos dá a muitas estações o mesmo acesso amplo;; 2 = modelo;; 1 = vago;; 0 = nenhuma.

• EX026 — Sinal de maturidade. O que a Dra. Aydın chama de sinal claro de maturidade de pesquisa? Rubrica: 3 = declarar de antemão o que mudaria a conclusão;; 2 = condições prévias;; 1 = tese longa;; 0 = nenhuma.

Síntese

Listar as explicações rivais, testar cada uma com uma verificação planejada e fixar de antemão as condições de reversão transforma um resultado esperado em um resultado testado.

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

← Capítulo 03 · Índice das aulas · Capítulo 05 →

Continue para a próxima aula já escrita.