Capítulo 48 — Dossiê de evidências

Capítulo 48 — Dossiê de evidências

Mapa da aula

Aula 48 publicada. Mapa, exemplo, EX142.

flowchart TD
  N0["48.1 Compilar o dossiê"]
  N1["48.2 Integridade das evidências"]
  N2["Laboratório — Manifesto do dossiê"]
  N3["48.3 Mapear para normas"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX142"]

Desenho lógico

flowchart LR
  N0["48.1 Compilar o dossiê"]
  N1["48.2 Integridade das evidências"]
  N2["Laboratório — Manifesto do dossiê"]
  N3["48.3 Mapear para normas"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX142"]

[48.1 Compilar o dossiê]
    |
    v
[48.2 Integridade das evidências]
    |
    v
[Laboratório — Manifesto do dossiê]
    |
    v
[48.3 Mapear para normas]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX142]

Objetivos de aprendizagem

Você vai (1) compilar um dossiê de evidências que sustente o assurance case; (2) proteger a integridade das evidências com manifestos; (3) mapear as evidências para normas, para públicos externos.

48.1 Compilar o dossiê

Sofia compila as evidências do seu projeto final num dossiê: requisitos e rastreabilidade, modelo de ameaças, registros de decisão, especificações dos controles, relatórios de verificação, respostas à revisão independente, relatório do ensaio de recuperação, linhas de base das métricas e o assurance case. Cada item tem um identificador, data, autor e as afirmações que sustenta. O dossiê é organizado pela estrutura do assurance case, para que um examinador consiga seguir qualquer afirmação até sua evidência. Daniel observa que a mesma disciplina é usada em setores regulados, nos quais os auditores esperam rastrear as afirmações até as evidências sem pedir aos engenheiros que expliquem de memória.

48.2 Integridade das evidências

Uma evidência que pode ser alterada em silêncio é fraca. Sofia gera um manifesto que lista cada arquivo do dossiê com seu digest SHA-256, conforme especificado no FIPS 180-4, e guarda o manifesto separadamente com seu supervisor. Qualquer pessoa pode depois verificar que o dossiê não foi alterado desde a entrega. O laboratório abaixo constrói um manifesto para arquivos sintéticos do dossiê e o verifica, sinalizando um arquivo editado depois que o manifesto foi criado. Para garantias mais fortes, o próprio manifesto poderia ser assinado, mas, para uma entrega acadêmica, a cópia guardada separadamente é suficiente.

Laboratório — Manifesto do dossiê

# SHA-256 manifest for synthetic dossier files (FIPS 180-4 via hashlib).
import hashlib
files = {"assurance_case.md": b"Claim C1 fare integrity...\n", "threat_model.md": b"STRIDE table v4\n",
         "verification_report.md": b"30 tests, 30 pass\n", "recovery_trial.md": b"total 325 min\n"}
manifest = {k: hashlib.sha256(v).hexdigest() for k, v in files.items()}
files["verification_report.md"] = b"30 tests, 30 pass (edited)\n"
for k, v in files.items():
    print(f"{k:24} {'OK' if hashlib.sha256(v).hexdigest() == manifest[k] else 'CHANGED'}")

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

assurance_case.md        OK
threat_model.md          OK
verification_report.md   CHANGED
recovery_trial.md        OK

48.3 Mapear para normas

Leitores externos costumam perguntar como um projeto se relaciona com normas conhecidas. Sofia acrescenta uma tabela de mapeamento que liga seus controles às famílias de controles do NIST SP 800-53 Rev. 5 e aos controles da ISO/IEC 27002:2022, com uma nota de que o mapeamento mostra cobertura de temas, e não certificação ou conformidade. Por exemplo, as tabelas de tarifas assinadas se ligam a controles relacionados à integridade, e as revisões de acesso dos atendentes de contestação se ligam ao controle de acesso. O mapeamento ajuda os auditores da Corvia e os futuros engenheiros a situar seu trabalho em frameworks conhecidos, enquanto a nota impede que os leitores exagerem o que o mapeamento prova.

Exemplo resolvido

Sofia organiza seu dossiê pelas afirmações do assurance case, cria um manifesto SHA-256 guardado por seu supervisor e mapeia os controles para o SP 800-53 Rev. 5 e a ISO/IEC 27002:2022, com a ressalva de que mostra apenas cobertura.

Caso sintético. O conteúdo do dossiê é sintético; o FIPS 180-4, o SP 800-53 Rev. 5 e a ISO/IEC 27002:2022 são reais.

Erros e limites

Os manifestos detectam alterações, mas não se a evidência original era sólida. Os mapeamentos podem ser lidos erroneamente como alegações de conformidade.

Exercícios

• EX142 — Organização do dossiê. Como o dossiê é organizado, e por quê? Rubrica: 3 = pela estrutura do assurance case, para que qualquer afirmação possa ser rastreada até a evidência;; 2 = estrutura;; 1 = alfabética;; 0 = nenhuma.

• EX143 — Resultado do manifesto no laboratório. Que arquivo o laboratório do dossiê sinalizou? Rubrica: 3 = verification_report.md, editado depois que o manifesto foi criado;; 2 = arquivo nomeado;; 1 = vago;; 0 = nenhuma.

• EX144 — Ressalva do mapeamento. Que ressalva acompanha o mapeamento para normas? Rubrica: 3 = mostra cobertura de temas, não certificação ou conformidade;; 2 = cobertura;; 1 = conformidade;; 0 = nenhuma.

Síntese

Um dossiê de evidências torna o caso de garantia auditável, à prova de adulteração e compreensível em normas conhecidas.

Continue estudando — aula 48 (capítulo 48 de 50)

← Capítulo 47 · Índice das aulas · Capítulo 49 →

Continue para a próxima aula já escrita.