OpenCyber Academy
Graduação · Capítulo 19 · Português
Código do curso: OCA-099Capítulo 19: OCA-099-C019

Capítulo 19 — Arquitetura e engenharia de segurança: escopo e teoria

Ensino gratuito e aberto para quem deseja proteger pessoas e tecnologias. Não é preciso criar uma conta para estudar ou consultar as respostas.

Mapa da aula

Aula 19 publicada. Mapa, exemplo, EX055.

flowchart TD
  N0["19.1 Escopo"]
  N1["19.2 Princípios clássicos"]
  N2["19.3 A teoria nas revisões"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX055"]

Desenho lógico

flowchart LR
  N0["19.1 Escopo"]
  N1["19.2 Princípios clássicos"]
  N2["19.3 A teoria nas revisões"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX055"]
[19.1 Escopo]
    |
    v
[19.2 Princípios clássicos]
    |
    v
[19.3 A teoria nas revisões]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX055]

Objetivos de aprendizagem

Você vai (1) declarar o que a arquitetura e a engenharia de segurança cobrem; (2) aplicar à Fernway os princípios de Saltzer e Schroeder; (3) relacionar a teoria às revisões práticas de projeto.

19.1 Escopo

Lucas escreve um ensaio curto sobre o escopo da área. A arquitetura de segurança descreve como a proteção é organizada em toda a organização; a engenharia de segurança é a disciplina de construir sistemas que continuam confiáveis sob ataque, como diz Anderson (2020). Ambas cobrem pessoas, processos e tecnologia, e ambas atuam ao longo do ciclo de vida, dos requisitos à desativação. O NIST SP 800-160 Vol. 1 Rev. 1 enquadra isso como engenharia de segurança de sistemas, integrada à engenharia normal, e não acrescentada no fim. Lucas observa que, numa cooperativa do tamanho da Fernway, uma pessoa muitas vezes faz as duas coisas.

19.2 Princípios clássicos

Lucas aplica à Fernway os princípios de projeto de Saltzer e Schroeder (1975). A economia de mecanismo sugere um único provedor de identidade, em vez de logins separados para cada sistema. Os padrões fail-safe significam que as contas de novos funcionários começam sem acesso. A mediação completa significa que toda requisição ao sistema de estoque é verificada, e não só a primeira. O menor privilégio significa que as contas do armazém não podem mudar preços. A aceitabilidade psicológica significa que os controles precisam se encaixar nas rotinas atarefadas das lojas, ou a equipe vai contorná-los. Ele descobre que princípios de quase cinquenta anos ainda explicam a maior parte das fraquezas da Fernway.

19.3 A teoria nas revisões

Hannah pergunta como a teoria ajuda no dia a dia. Lucas transforma os princípios em perguntas de revisão para novos projetos: qual é o acesso padrão, toda requisição é verificada, quem tem o menor privilégio necessário e a equipe vai achar o controle aceitável. Ele as usa num aplicativo proposto de escalas de trabalho e descobre que ele daria a todo gerente acesso às escalas de todas as lojas, violando o menor privilégio. O fornecedor acrescenta um escopo por loja. A teoria dá aos revisores um vocabulário compartilhado e um checklist fundamentado em décadas de experiência.

Exemplo resolvido

Lucas define a área, aplica à Fernway cinco princípios de Saltzer e Schroeder e os usa para corrigir o escopo de acesso de um aplicativo de escalas.

Caso sintético. A Fernway e o aplicativo de escalas são sintéticos; Anderson (2020), o SP 800-160v1r1 e Saltzer e Schroeder (1975) são reais.

Erros e limites

Os princípios podem entrar em conflito, como o menor privilégio versus a aceitabilidade. O julgamento continua necessário.

Exercícios

Síntese

Os princípios clássicos continuam sendo ferramentas práticas de revisão que ligam a teoria às decisões de desenho do dia a dia.

Respostas comentadas

EX055. As novas contas começam sem acesso até que um papel seja concedido.

EX056. Porque funcionários sob pressão de tempo contornam controles que não se encaixam nas suas rotinas.

EX057. Ele dava a todo gerente acesso às escalas de todas as lojas, então o fornecedor acrescentou um escopo por loja.