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
-
EX055 — Padrão fail-safe. Como a Fernway aplica os padrões fail-safe?
Mostrar critérios de avaliação
Rubrica: 3 = as contas de novos funcionários começam sem acesso;; 2 = sem acesso;; 1 = acesso aberto;; 0 = nenhuma. -
EX056 — Aceitabilidade. Por que a aceitabilidade psicológica importa nas lojas?
Mostrar critérios de avaliação
Rubrica: 3 = controles que não se encaixam nas rotinas são contornados;; 2 = contorno;; 1 = vago;; 0 = nenhuma. -
EX057 — Achado do aplicativo de escalas. O que os princípios revelaram sobre o aplicativo de escalas?
Mostrar critérios de avaliação
Rubrica: 3 = todo gerente podia ver todas as lojas, violando o menor privilégio;; 2 = menor privilégio;; 1 = vago;; 0 = nenhuma.
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.