◇ OpenCyber Academy
Pós-graduação · Capítulo 3 · Português

Capítulo 3 — Arquitetura e engenharia de segurança: evidências especializadas

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

Capítulo 3 — Arquitetura e engenharia de segurança: evidências especializadas

Mapa da aula

Aula 03 publicada. Mapa, exemplo, EX011.

flowchart TD
  N0["3.1 Fontes especializadas"]
  N1["3.2 Modelar a alcançabilidade"]
  N2["Laboratório — Alcançabilidade entre zonas antes e de"]
  N3["3.3 Evidências proporcionais"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX011"]

Desenho lógico

flowchart LR
  N0["3.1 Fontes especializadas"]
  N1["3.2 Modelar a alcançabilidade"]
  N2["Laboratório — Alcançabilidade entre zonas antes e de"]
  N3["3.3 Evidências proporcionais"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX011"]

[3.1 Fontes especializadas]
    |
    v
[3.2 Modelar a alcançabilidade]
    |
    v
[Laboratório — Alcançabilidade entre zonas antes e de]
    |
    v
[3.3 Evidências proporcionais]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX011]

Objetivos de aprendizagem

Você vai (1) reunir evidências especializadas sobre o risco dos dispositivos clínicos; (2) modelar a alcançabilidade entre zonas de rede; (3) apresentar evidências proporcionais à decisão.

3.1 Fontes especializadas

Para a lacuna de segmentação, Priya precisa de evidências além das orientações gerais. Ela lê a documentação de segurança do fabricante das estações de gerenciamento das bombas de infusão da Corvane, o inventário da equipe de engenharia clínica e as regras de firewall da equipe de redes. Os engenheiros clínicos sabem quais dispositivos não podem receber patches e de quais conexões de fornecedores eles precisam. Esse conhecimento é uma evidência especializada que os arquitetos muitas vezes não têm. Ela registra cada fonte, seu responsável e sua data, porque os inventários de dispositivos na saúde são notoriamente incompletos e ela precisa mostrar quão atual é o seu retrato.

3.2 Modelar a alcançabilidade

Priya constrói um pequeno modelo de quais zonas conseguem alcançar quais outras sob as regras atuais e depois o repete sob as regras propostas. O laboratório abaixo calcula a alcançabilidade nos dois casos. Sob as regras atuais, a zona dos notebooks administrativos consegue alcançar a zona dos dispositivos clínicos por meio de um servidor de impressão compartilhado. Sob as regras propostas, apenas o jump host da engenharia clínica consegue alcançar os dispositivos clínicos. O modelo é simples, mas transforma uma longa exportação de firewall numa afirmação clara que um tomador de decisão consegue acompanhar e conferir.

Laboratório — Alcançabilidade entre zonas antes e depois da segmentação

# Zone reachability before and after segmentation (synthetic rules).
def reach(rules, start):
    seen, todo = {start}, [start]
    while todo:
        z = todo.pop()
        for a, b in rules:
            if a == z and b not in seen: seen.add(b); todo.append(b)
    return sorted(seen - {start})
current = [("admin", "print"), ("print", "clinical"), ("admin", "internet"), ("jump", "clinical"), ("clinical", "print")]
proposed = [("admin", "print"), ("admin", "internet"), ("jump", "clinical")]
for name, rules in [("current", current), ("proposed", proposed)]:
    print(f"{name}: admin reaches {reach(rules, 'admin')}; jump reaches {reach(rules, 'jump')}")

Execute com python3 lab_reach.py. Saída verificada:

current: admin reaches ['clinical', 'internet', 'print']; jump reaches ['clinical', 'print']
proposed: admin reaches ['internet', 'print']; jump reaches ['clinical']

3.3 Evidências proporcionais

Priya resiste à vontade de levar todos os detalhes ao conselho. Ela apresenta o resultado da alcançabilidade, a contagem de clínicas afetadas e a visão dos engenheiros clínicos sobre o impacto operacional. As regras detalhadas de firewall vão para um apêndice destinado aos revisores técnicos. As evidências são proporcionais: o bastante para justificar a decisão e mostrar seus limites, e não tanto que a decisão se perca. A Dra. Voss observa que a proporção é uma habilidade profissional, porque sobrecarregar os tomadores de decisão com detalhes é uma forma de evitar a responsabilidade por uma recomendação clara.

Exemplo resolvido

Priya reúne evidências de dispositivos e de firewall com especialistas, modela a alcançabilidade antes e depois da segmentação e apresenta uma síntese proporcional.

Caso sintético. Os dispositivos, as zonas e as regras são sintéticos.

Erros e limites

Os inventários deixam dispositivos de fora. Os modelos de alcançabilidade ignoram caminhos na camada de aplicação não capturados nas regras.

Exercícios

Síntese

Evidências especializadas e modelos simples transformam configurações complexas em evidências proporcionais para a decisão.

Continue estudando — aula 03 (capítulo 03 de 12)

← Capítulo 02 · Índice das aulas · Capítulo 04 →

Continue para a próxima aula já escrita.