Capítulo 2 — Arquitetura e engenharia de segurança: seminário avançado
Mapa da aula
Aula 02 publicada. Mapa, exemplo, EX008.
flowchart TD
N0["2.1 Três visões da arquitetura"]
N1["2.2 Os princípios por trás da segmentação"]
N2["2.3 Crítica a uma afirmação de framework"]
N3["2.4 Evidências no argumento do seminário"]
N4["2.5 Produto do seminário"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5
N5 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX008"]
Desenho lógico
flowchart LR
N0["2.1 Três visões da arquitetura"]
N1["2.2 Os princípios por trás da segmentação"]
N2["2.3 Crítica a uma afirmação de framework"]
N3["2.4 Evidências no argumento do seminário"]
N4["2.5 Produto do seminário"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX008"]
[2.1 Três visões da arquitetura]
|
v
[2.2 Os princípios por trás da segmentação]
|
v
[2.3 Crítica a uma afirmação de framework]
|
v
[2.4 Evidências no argumento do seminário]
|
v
[2.5 Produto do seminário]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX008]
Objetivos de aprendizagem
Você vai (1) comparar as visões corporativa, de engenharia de sistemas e orientada a ameaças da arquitetura de segurança; (2) relacionar os princípios de design à segmentação; (3) criticar uma afirmação de um framework; (4) apresentar um argumento de seminário com evidências.
2.1 Três visões da arquitetura
No seminário da Dra. Aydın, Kenji conhece três formas de ver a arquitetura de segurança. A visão corporativa, representada pelo SABSA e pelo guia do TOGAF, do The Open Group, sobre a integração de risco e segurança, parte dos atributos de negócio e os desdobra até os controles. A visão de engenharia de sistemas, representada pelo NIST SP 800-160 Vol. 1 Rev. 1, trata a segurança como uma propriedade emergente construída ao longo do ciclo de vida, com casos de garantia explícitos. A visão orientada a ameaças, representada por Shostack (2014), parte do que pode dar errado num design específico. Cada visão faz uma primeira pergunta diferente, e os bons arquitetos transitam entre elas de forma deliberada.
2.2 Os princípios por trás da segmentação
A segmentação aplica princípios mais antigos. O menor privilégio diz que cada estação deve alcançar apenas os serviços de que precisa. A mediação completa diz que todo acesso deve ser verificado, o que o SP 800-207 implementa por meio de pontos de aplicação de política. A separação de privilégios sugere que o acesso sensível exija mais de uma condição, como a integridade do dispositivo e a identidade do usuário. A economia de mecanismo alerta contra políticas tão complexas que ninguém consegue verificá-las. Kenji percebe que esse último princípio puxa contra os outros: uma segmentação mais fina aplica melhor o menor privilégio, mas cria mais regras, e cada regra não gerenciada é uma lacuna potencial.
2.3 Crítica a uma afirmação de framework
Uma leitura do seminário afirma que adotar zero trust elimina o movimento lateral. Kenji a critica. O próprio SP 800-207 descreve o zero trust como um conjunto de princípios e uma jornada, e não como um produto único, e reconhece ameaças às implantações de zero trust, como o comprometimento do ponto de decisão de política e as credenciais roubadas. O movimento lateral pode continuar com uma identidade válida por um caminho permitido. A afirmação justa é mais estreita: o zero trust pode reduzir os caminhos alcançáveis e tornar o movimento mais fácil de observar. Ele apresenta essa distinção com citação direta da seção de ameaças da publicação, e não com paráfrases de fontes secundárias.
2.4 Evidências no argumento do seminário
A Dra. Aydın pede a cada apresentador que marque as afirmações como princípio, orientação de framework, evidência de caso ou resultado medido. Os slides de Kenji trazem pequenas etiquetas. Quando um colega afirma que a microssegmentação sempre reduz os incidentes, Kenji pergunta que etiqueta se aplica, e a resposta é princípio mais estudos de caso de fornecedores, não medição. O exercício é desconfortável, mas útil: mostra à turma quanto da prática de arquitetura se apoia em raciocínio e experiência, e não em resultados medidos, o que é aceitável desde que seja dito com clareza e não seja apresentado como prova.
2.5 Produto do seminário
O artigo de seminário de Kenji argumenta que as estratégias de segmentação devem ser comparadas ao mesmo tempo pela alcançabilidade e pela complexidade das regras, porque uma estratégia que reduz o alcance mas exige milhares de regras impossíveis de gerenciar pode falhar na operação. Ele propõe medir as duas na dissertação. A turma o desafia a definir complexidade; ele escolhe o número de regras de permissão distintas como uma medida simples e imperfeita, e lista suas fraquezas. O artigo vira o capítulo conceitual da dissertação, e o desafio dos colegas vira uma das explicações concorrentes que ele vai testar depois.
Exemplo resolvido
Kenji contrasta três visões de arquitetura, associa quatro princípios de Saltzer e Schroeder à segmentação, critica a afirmação de que o zero trust elimina o movimento lateral e propõe medir o alcance junto com o número de regras.
Caso sintético. Os participantes do seminário e as afirmações são sintéticos; o SABSA, o TOGAF G152, o SP 800-160v1r1, o SP 800-207 e Shostack (2014) são reais.
Erros e limites
O número de regras é uma aproximação grosseira da complexidade operacional. A marcação no seminário pode simplificar demais evidências mistas.
Exercícios
-
EX008 — Primeiras perguntas. Que primeira pergunta cada visão de arquitetura faz? Rubrica: 3 = corporativa: atributos de negócio; engenharia de sistemas: garantia ao longo do ciclo de vida; orientada a ameaças: o que pode dar errado;; 2 = duas;; 1 = uma;; 0 = nenhuma.
-
EX009 — Tensão entre princípios. Que princípio puxa contra a segmentação fina, e por quê? Rubrica: 3 = economia de mecanismo, porque a segmentação mais fina cria mais regras a verificar;; 2 = nomeado;; 1 = vago;; 0 = nenhuma.
-
EX010 — Ameaças ao zero trust. Cite uma ameaça às implantações de zero trust reconhecida no SP 800-207. Rubrica: 3 = comprometimento do ponto de decisão de política ou credenciais roubadas;; 2 = uma;; 1 = vago;; 0 = nenhuma.
-
EX011 — Afirmação justa sobre zero trust. Qual é a versão justa de o zero trust elimina o movimento lateral? Rubrica: 3 = ele pode reduzir os caminhos alcançáveis e tornar o movimento mais fácil de observar;; 2 = reduz;; 1 = elimina;; 0 = nenhuma.
-
EX012 — Etiquetas de evidência. Que quatro etiquetas a Dra. Aydın exige nas afirmações? Rubrica: 3 = princípio, orientação de framework, evidência de caso, resultado medido;; 2 = três;; 1 = uma;; 0 = nenhuma.
-
EX013 — Medida de complexidade. Como Kenji mede a complexidade das regras, e qual é a fraqueza disso? Rubrica: 3 = número de regras de permissão distintas; aproximação grosseira;; 2 = medida;; 1 = vago;; 0 = nenhuma.
-
EX014 — Motivo do duplo desfecho. Por que comparar as estratégias pelo alcance e pelo número de regras juntos? Rubrica: 3 = uma estratégia pode reduzir o alcance mas ser impossível de gerenciar na operação;; 2 = ambos;; 1 = só alcance;; 0 = nenhuma.
Síntese
Um seminário avançado treina o estudante a transitar entre visões de arquitetura, ligar desenhos a princípios e marcar cada afirmação pelo tipo de evidência que a sustenta.
Continue estudando — aula 02 (capítulo 02 de 08)
← Capítulo 01 · Índice das aulas · Capítulo 03 →
Continue para a próxima aula já escrita.