Capítulo 1 — Tomada de decisão avançada em segurança
Mapa da aula
Aula 01 publicada. Mapa, exemplo, EX001.
flowchart TD
N0["1.1 O caso"]
N1["1.2 Fatos, premissas e valores"]
N2["1.3 Regras de decisão"]
N3["1.4 Escrever o registro de decisão"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX001"]
Desenho lógico
flowchart LR
N0["1.1 O caso"]
N1["1.2 Fatos, premissas e valores"]
N2["1.3 Regras de decisão"]
N3["1.4 Escrever o registro de decisão"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX001"]
[1.1 O caso]
|
v
[1.2 Fatos, premissas e valores]
|
v
[1.3 Regras de decisão]
|
v
[1.4 Escrever o registro de decisão]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX001]
Objetivos de aprendizagem
Você vai (1) enquadrar uma decisão criptográfica em escala organizacional; (2) separar fatos, premissas e valores num registro de decisão; (3) escolher regras de decisão que resistam ao escrutínio de executivos e auditores.
1.1 O caso
Leila Moradi é arquiteta de segurança na fictícia Corvane Logistics, uma empresa de transporte marítimo e de cargas com terminais portuários, uma frota de caminhões, uma divisão financeira e uma plataforma envelhecida de intercâmbio eletrônico de dados (EDI). Ela estuda em meio período no programa de pós-graduação da fictícia Westbrook School of Security, sob a orientação da Prof.ª Anika Rao. O conselho da Corvane pediu um plano para modernizar a criptografia em toda a empresa em dois anos: desativar o TLS legado, consolidar o gerenciamento de chaves e preparar a migração pós-quântica. Todos os sistemas, números e pessoas deste livro são sintéticos. A decisão não é qual cifra é a mais forte, mas como gastar dinheiro e tempo de engenharia limitados em muitos sistemas.
1.2 Fatos, premissas e valores
A Prof.ª Rao pede aos estudantes que dividam cada decisão em três colunas. Os fatos são verificáveis, como o número de endpoints que ainda aceitam TLS 1.0 ou a data em que termina um contrato com um fornecedor. As premissas são crenças que podem estar erradas, como a rapidez com que chegarão computadores quânticos grandes ou quanto tempo levará uma migração. Os valores são preferências que a organização precisa assumir, como quanto risco de indisponibilidade ela tolera durante uma mudança. Leila descobre que seu primeiro rascunho misturava as três colunas, apresentando uma premissa sobre os prazos quânticos como se fosse um fato. Separá-las permite que os executivos debatam os valores abertamente e que os engenheiros testem as premissas.
1.3 Regras de decisão
Leila compara regras de decisão. Minimizar o pior caso convém a riscos catastróficos e irreversíveis, como perder a chave raiz do firmware. Maximizar o valor esperado convém a riscos frequentes e mensuráveis, como a expiração de certificados. A satisficência, que aceita a primeira opção que atende a todos os requisitos, convém a decisões em que a análise custa mais do que as pequenas melhorias. Ela escolhe as regras decisão por decisão, documenta o porquê e registra que nova evidência mudaria a escolha. A ênfase de Katz e Lindell em modelos de ameaça explícitos se transfere para a gestão: uma decisão sem premissas declaradas não pode ser avaliada depois, e os auditores vão perguntar em que a Corvane acreditava quando escolheu.
1.4 Escrever o registro de decisão
Leila redige o primeiro registro de decisão do programa, que adota uma linha de base de TLS para toda a empresa. Ele enuncia a decisão, os fatos (as contagens do inventário), as premissas (que a maioria dos clientes suporta TLS 1.2), os valores (a perturbação aceitável para os parceiros legados), as alternativas consideradas, a regra usada (satisficência em relação a uma linha de base publicada) e os gatilhos de revisão. Ela liga cada afirmação à sua fonte, incluindo a RFC 8446 para o comportamento do TLS 1.3 e a NIST SP 800-52 Rev. 2, a diretriz de TLS referenciada na política da Corvane. A Prof.ª Rao considera o registro forte porque um recém-chegado conseguiria reconstruir o raciocínio em cinco minutos sem perguntar nada a Leila.
Exemplo resolvido
Leila separa fatos, premissas e valores no programa de modernização, escolhe a satisficência para a linha de base de TLS e o minimax para as chaves raiz e escreve um registro de decisão com gatilhos de revisão.
Caso sintético. A Corvane, a Westbrook e todos os números são inventados; a RFC 8446 é real.
Erros e limites
Estruturas de decisão não substituem o julgamento; elas o tornam visível. Premissas apresentadas como fatos são a falha mais comum nas justificativas de negócio em segurança.
Exercícios
-
EX001 — Escopo do programa. Quais três metas o conselho da Corvane estabeleceu para o programa? Rubrica: 3 = desativar o TLS legado, consolidar o gerenciamento de chaves, preparar a migração pós-quântica;; 2 = duas;; 1 = uma;; 0 = nenhuma.
-
EX002 — Três colunas. Distinga um fato, uma premissa e um valor com exemplos da Corvane. Rubrica: 3 = fato: endpoints com TLS 1.0; premissa: prazo quântico; valor: risco de indisponibilidade tolerado;; 2 = dois corretos;; 1 = confusos;; 0 = nenhuma.
-
EX003 — Associar as regras. Que regra de decisão convém à perda da chave raiz, e qual convém à expiração de certificados? Rubrica: 3 = minimax para a perda catastrófica da raiz; valor esperado para a expiração frequente;; 2 = uma;; 1 = invertidas;; 0 = nenhuma.
-
EX004 — Falha do rascunho. Que falha Leila encontrou no seu primeiro rascunho? Rubrica: 3 = uma premissa sobre os prazos quânticos apresentada como fato;; 2 = mistura;; 1 = vago;; 0 = nenhuma.
-
EX005 — Teste do registro. Por que a Prof.ª Rao considerou o registro forte? Rubrica: 3 = um recém-chegado conseguiria reconstruir o raciocínio em cinco minutos;; 2 = clareza;; 1 = tamanho;; 0 = nenhuma.
Síntese
Decisões criptográficas em escala organizacional melhoram quando fatos, premissas e valores são separados e cada decisão usa uma regra explícita e registrada.
Continue estudando — aula 01 (capítulo 01 de 12)
← Início do curso · Índice das aulas · Capítulo 02 →
Continue para a próxima aula já escrita.