OpenCyber Academy
Engenharia · Capítulo 49 · Português
Código do curso: OCA-132Capítulo 49: OCA-132-C049

Capítulo 49 — Tese de engenharia

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 49 publicada. Mapa, exemplo, EX145.

flowchart TD
  N0["49.1 Estrutura"]
  N1["49.2 Uma fundamentação bem-feita"]
  N2["49.3 Contribuição"]
  N3["49.4 Discussão"]
  N4["49.5 Limitações"]
  N5["49.6 Trabalhos futuros"]
  N6["49.7 Estilo de escrita"]
  N7["49.8 Declaração de ética"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
  N7 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX145"]

Desenho lógico

flowchart LR
  N0["49.1 Estrutura"]
  N1["49.2 Uma fundamentação bem-feita"]
  N2["49.3 Contribuição"]
  N3["49.4 Discussão"]
  N4["49.5 Limitações"]
  N5["49.6 Trabalhos futuros"]
  N6["49.7 Estilo de escrita"]
  N7["49.8 Declaração de ética"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX145"]

[49.1 Estrutura]
    |
    v
[49.2 Uma fundamentação bem-feita]
    |
    v
[49.3 Contribuição]
    |
    v
[49.4 Discussão]
    |
    v
[49.5 Limitações]
    |
    v
[49.6 Trabalhos futuros]
    |
    v
[49.7 Estilo de escrita]
    |
    v
[49.8 Declaração de ética]
    |
    v
[Exemplo resolvido] --> [Exercício EX145]

Objetivos de aprendizagem

Você vai (1) escrever uma tese de engenharia sobre um sistema pericial; (2) apresentar o projeto, as evidências e a avaliação de forma coerente; (3) discutir a contribuição e os limites; (4) citar normas e literatura corretamente.

49.1 Estrutura

Introdução (o problema de Northfield); fundamentação (normas do processo pericial, integridade, custódia); requisitos; projeto; implementação; verificação e validação; avaliação do piloto; ensaio de falha; discussão; conclusão; apêndices que remetem ao dossiê. A ordem segue o ciclo de vida da engenharia, para que o leitor veja como cada etapa se apoiou na anterior. A fundamentação vem antes dos requisitos porque as normas e os conceitos de integridade moldam o que o laboratório precisa. A discussão fica separada dos resultados para que a interpretação não embaralhe os fatos medidos. Os apêndices remetem aos itens do dossiê pelo identificador, em vez de repeti-los, o que mantém o texto principal legível, com cerca de sessenta páginas.

49.2 Uma fundamentação bem-feita

Priya explica as normas de forma breve e exata: a ISO/IEC 27037 para identificação, coleta, aquisição e preservação; a 27041 para a garantia dos métodos; a 27042 para análise e interpretação; a 27043 para os processos de investigação; o NIST SP 800-86 para a integração da perícia à resposta a incidentes. Ela cita Carrier (2005) e Casey (2011) para os fundamentos. Breve significa que cada norma ganha um parágrafo sobre o que cobre e por que importa para o EvidenceDesk, e não um resumo de todo o seu conteúdo. Exata significa usar o próprio escopo das normas, por exemplo, não apresentar a 27037 como se ela cobrisse a análise. Priya resiste a citar tudo o que leu; cada fonte aparece porque uma decisão de projeto posterior depende dela, e a fundamentação termina nomeando a lacuna que o seu projeto trata.

49.3 Contribuição

Um sistema offline e auditável de entrada e integridade, com custódia à prova de adulteração, validado e testado em piloto num laboratório regional, com melhoria medida na completude dos registros. Cada palavra da declaração tem uma função: offline reflete a restrição de segurança do laboratório, auditável reflete o código feito só com a biblioteca padrão, à prova de adulteração reflete a cadeia e a ancoragem, validado e testado em piloto refletem as evidências reunidas. A melhoria medida ancora a afirmação em dados. Priya evita palavras como "inédito" ou "primeiro", já que cadeias de hashes e sistemas de custódia existem em outros lugares; a contribuição está na combinação aplicada e testada num laboratório real.

49.4 Discussão

Por que a verificação bloqueante deu certo onde a política sozinha não deu; por que o lugar das âncoras importa; o que outros laboratórios precisariam adaptar. A política exigia a verificação antes do exame havia anos, mas os registros em papel mostravam que às vezes ela era pulada sob pressão. Fazer o sistema se recusar a prosseguir eliminou a escolha, o que explica o resultado do piloto melhor que as atitudes da equipe sozinhas. O achado da ancoragem mostra como um projeto sólido pode ser desfeito pela sua configuração. Para outros laboratórios, Priya lista o que seria transferido diretamente e o que exigiria trabalho local, como os parsers dos geradores de imagens.

49.5 Limitações

Um laboratório, um piloto de três meses, efeitos de observação, dados de validação sintéticos, um único revisor independente. Cada limitação é associada ao que ela poderia distorcer. Um único laboratório pode ter práticas incomuns; um piloto curto pode deixar escapar problemas lentos; a observação pode deixar a equipe mais cuidadosa que o normal; os dados sintéticos podem não ter as esquisitices das apreensões reais; um revisor pode deixar passar o que um segundo apanharia. Declarar isso com clareza permite aos leitores julgar até que ponto confiar nos resultados e aplicá-los aos seus próprios contextos.

49.6 Trabalhos futuros

Integração com ferramentas de aquisição de dispositivos móveis segundo as práticas do SP 800-101r1; estudo com vários laboratórios; verificação formal da lógica da cadeia. Os dispositivos móveis são hoje uma grande parcela dos itens apreendidos, e as suas ferramentas de aquisição produzem logs e formatos diferentes, então a integração é um próximo passo natural. Um estudo com vários laboratórios trataria diretamente a limitação de um único laboratório. A verificação formal usaria uma prova matemática para mostrar que a lógica da cadeia sempre detecta certos tipos de mudança, em vez de depender só dos testes executados. Cada item está ligado a uma limitação ou a um achado da tese.

49.7 Estilo de escrita

Resultados em números; afirmações ligadas aos itens do dossiê; nada de "prova" onde a evidência "mostra". "Prova" implica uma certeza que um piloto de três meses não pode dar; "mostra" ou "sugere" corresponde à força da evidência. Os números permitem aos leitores julgar a dimensão: "17 de 198 itens" diz mais que "muitos itens". Ligar as afirmações aos itens do dossiê permite a um avaliador conferir qualquer frase. O conselho de Hugo é que um leitor nunca deveria ter de confiar nos adjetivos de Priya quando poderia conferir os números dela. As tabelas trazem unidades e datas em todo o texto.

49.8 Declaração de ética

Nenhuma evidência de caso usada; referência da aprovação ética da pesquisa; confidencialidade respeitada. A declaração é curta porque o projeto foi desenhado para evitar problemas éticos, e não para administrá-los depois. Ela nomeia o órgão de aprovação e a referência, para que os avaliadores possam confirmar que a pesquisa foi aprovada. Ela explica que todos os testes de manuseio de evidências usaram itens sintéticos e que a equipe participou apenas por meio de respostas anônimas à pesquisa e dos registros normais de trabalho, usados com a permissão escrita do gerente do laboratório. Ela também confirma que nenhum participante pode ser identificado a partir dos resultados publicados.

Resumo

O resumo declara o problema, o sistema, como ele foi validado, os principais números do piloto e a principal limitação em menos de 250 palavras. Priya o escreve por último, depois que os resultados estão fechados, e confere cada número dele contra o dossiê, para que o resumo nunca diga mais do que a tese sustenta. Um colega de fora da perícia o lê para confirmar que é compreensível.

Exemplo resolvido

Um rascunho da conclusão dizia que o EvidenceDesk "garante a integridade das evidências". Priya revisa: "O EvidenceDesk detecta alterações nas imagens adquiridas e nos registros de custódia e bloqueia o exame de cópias não verificadas; ele não consegue detectar erros cometidos antes da aquisição."

Caso sintético. O texto da tese é inventado.

Erros e limites

Uma tese é julgada pelo argumento, além dos resultados; ligue cada capítulo à pergunta.

Exercícios

Síntese

Uma tese de engenharia forte amarra normas, projeto, evidências e avaliação numa contribuição delimitada.

Continue estudando — capítulo 49 de 50

← Capítulo 48 (rascunho) · Índice de capítulos do curso · Capítulo 50 (rascunho) →

Respostas comentadas

EX145. 27037: identificação, coleta, aquisição e preservação; 27041: garantia de que os métodos são adequados; 27042: análise e interpretação; 27043: princípios e processos de investigação.

EX146. Ela afirma demais; o sistema detecta alterações e bloqueia o exame não verificado, mas não consegue apanhar erros cometidos antes da aquisição.

EX147. A integração dos registros de aquisição de dispositivos móveis segundo as práticas do SP 800-101r1, e um estudo com vários laboratórios.