Capítulo 3 — Proposta de contribuição original
Mapa da aula
Aula 03 publicada. Mapa, exemplo, EX015.
flowchart TD
N0["3.1 Enunciado da contribuição"]
N1["3.2 Requisitos"]
N2["3.3 Especificação do gerador"]
N3["3.4 Métodos comparados"]
N4["3.5 Riscos"]
N5["3.6 Ética e segurança"]
N6["3.7 Cronograma"]
N7["Plano de divulgação"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
N7 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX015"]
Desenho lógico
flowchart LR
N0["3.1 Enunciado da contribuição"]
N1["3.2 Requisitos"]
N2["3.3 Especificação do gerador"]
N3["3.4 Métodos comparados"]
N4["3.5 Riscos"]
N5["3.6 Ética e segurança"]
N6["3.7 Cronograma"]
N7["Plano de divulgação"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX015"]
[3.1 Enunciado da contribuição]
|
v
[3.2 Requisitos]
|
v
[3.3 Especificação do gerador]
|
v
[3.4 Métodos comparados]
|
v
[3.5 Riscos]
|
v
[3.6 Ética e segurança]
|
v
[3.7 Cronograma]
|
v
[Plano de divulgação]
|
v
[Exemplo resolvido] --> [Exercício EX015]
Objetivos de aprendizagem
Você vai (1) escrever uma proposta de doutorado para uma contribuição de método pericial; (2) definir requisitos na linguagem da ISO/IEC 27041; (3) especificar um gerador de conjuntos de dados com verdade de referência; (4) planejar riscos e ética.
3.1 Enunciado da contribuição
"Vou produzir um gerador de imagens sintéticas abertamente disponível, com fragmentação controlada, e estimativas intervalares da revocação e da precisão do carving para métodos de cabeçalho e rodapé e de remontagem, para que os peritos possam declarar taxas de erro dos métodos sob condições declaradas." Cada oração do enunciado pode ser conferida na defesa: se o gerador é público, se os intervalos são relatados para cada condição e cada método, e se as condições são declaradas. Ines evitou palavras como melhor ou preciso porque não podem ser testadas sem uma comparação e uma medida declaradas. O enunciado foi revisado uma vez, quando a comparação com a remontagem passou para trabalho futuro, e as duas versões são mantidas no registro.
3.2 Requisitos
Seguindo a ISO/IEC 27041, Ines escreve requisitos funcionais (o método recupera os arquivos cujos bytes estão presentes), requisitos não funcionais (tempo de execução, repetibilidade) e critérios de aceitação (por exemplo, o intervalo de revocação relatado para cada condição). Os critérios de aceitação tornam os requisitos testáveis. Uma execução só é aceita se o pontuador lê todos os manifestos, se cada arquivo recuperado tem seu hash calculado e se o intervalo de revocação é impresso para cada condição. Uma execução que falhe em qualquer desses pontos é refeita em vez de consertada à mão, e a falha é registrada no registro de análise com sua causa.
3.3 Especificação do gerador
Entradas: tipos de arquivo, tamanhos, quantidade, taxa de fragmentação, tipo de ruído, semente aleatória. Saídas: os bytes da imagem e um manifesto de verdade de referência que lista os intervalos de bytes e o hash SHA-256 de cada arquivo. A mesma semente deve reproduzir exatamente a mesma imagem. O manifesto é a verdade de referência que torna a revocação exata. Como lista os intervalos de bytes de cada arquivo, o pontuador também pode dizer por que um arquivo foi perdido, por exemplo, que foi dividido em fragmentos ou que seu rodapé se perdeu. Ines testa a promessa de reprodutibilidade gerando uma imagem duas vezes a partir da mesma semente e comparando os hashes SHA-256 das duas imagens antes do início do piloto.
3.4 Métodos comparados
Carving por cabeçalho e rodapé como linha de base; uma abordagem de remontagem que testa ordens candidatas de fragmentos. Ambos são implementados a partir de descrições publicadas; qualquer ferramenta de terceiros é identificada pela versão. Escrever os dois métodos a partir de descrições publicadas mantém a comparação transparente: cada pressuposto, como o tamanho máximo de arquivo que a linha de base vai recuperar, aparece em código que os examinadores podem ler. Ines registra esses parâmetros no mesmo arquivo das sementes, de modo que o arquivo de reprodutibilidade mostra exatamente quais configurações produziram cada valor. Uma ferramenta de terceiros, se usada para conferências, aparece com sua versão e a data em que foi obtida.
3.5 Riscos
O gerador pode ser simples demais; mitigue comparando estatísticas dos artefatos com descrições publicadas de mídias reais. A remontagem pode ser lenta; defina limites de tempo. Outro risco é um erro do pontuador que faça o método parecer melhor ou pior do que é. A mitigação dela é o piloto numa imagem pequena cuja verdade ela pode conferir à mão, mais um segundo laboratório que refaz o estudo. Cada risco tem um responsável e uma data de revisão no plano dela, e o Prof. Achebe revisa a tabela de riscos em cada reunião de orientação até o fim do estudo principal.
3.6 Ética e segurança
Nenhuma mídia real; nenhum dado pessoal; nenhum malware. Código liberado sob licença aberta. Essas escolhas também simplificam a revisão ética e a liberação. Como as imagens são geradas, nada nelas precisa ser ocultado antes da publicação, e outros laboratórios podem receber o conjunto de dados completo. Ines ainda registra esse limite em sua submissão ética e na tese, para que o leitor saiba que o resultado cobre apenas mídias sintéticas e que nenhum leitor deve aplicá-lo sem mudanças ao trabalho com casos reais. Um gerador aberto permite que os críticos testem as afirmações dela com suas próprias sementes.
3.7 Cronograma
Seis meses para o gerador e o piloto; oito para o estudo principal; quatro para a redação e o arquivo de reprodutibilidade; seis para a defesa e a publicação. O plano soma vinte e quatro meses, em linha com o programa de dois anos. Ines acrescenta pontos de controle: o piloto precisa ser aprovado antes do início do estudo principal, e a nova execução do segundo laboratório precisa terminar antes do fim da redação, porque o capítulo de validação depende dela. Se o gerador atrasar, o período de redação absorve o atraso, e não a data da defesa, que o departamento fixa com bastante antecedência. Os capítulos de fundamentação e do piloto são redigidos durante o estudo principal.
Plano de divulgação
A proposta nomeia os produtos: o gerador e seus manifestos liberados abertamente, um relatório de validação utilizável por laboratórios e artigos em periódicos. Laboratórios acreditados segundo normas de qualidade forense precisam de taxas de erro de métodos que possam citar; projetar os produtos para eles desde o início aumenta o impacto.
Exemplo resolvido
A banca pergunta como Ines vai mostrar que o gerador é realista. Ela acrescenta um subestudo que compara as distribuições de tamanho de fragmentos em suas imagens com descrições publicadas de sistemas de arquivos, e declara que as afirmações de realismo se limitarão a essas propriedades medidas.
Caso sintético. A conversa com a banca é inventada.
Erros e limites
Propostas mudam; mantenha um registro de mudanças datado.
Exercícios
- EX015 — Teste da contribuição. O que torna testável o enunciado de contribuição de Ines? Rubrica: 3 = artefato específico, medidas, condições; 2 = parcial; 1 = vago; 0 = nada.
- EX016 — Tipos de requisito. Dê um requisito funcional e um não funcional. Rubrica: 3 = ambos corretos; 2 = um; 1 = confuso; 0 = nada.
- EX017 — Propósito da semente. Por que o gerador deve usar uma semente registrada? Rubrica: 3 = reprodutibilidade exata; 2 = parcial; 1 = rapidez; 0 = nada.
- EX018 — Campos do manifesto. O que o manifesto de verdade de referência registra? Rubrica: 3 = intervalos de bytes e hashes por arquivo; 2 = um; 1 = nomes; 0 = nada.
- EX019 — Subestudo de realismo. Como o realismo será demonstrado, e que limite decorre disso? Rubrica: 3 = comparar distribuições de fragmentos; afirmações limitadas às propriedades medidas; 2 = um; 1 = vago; 0 = nada.
- EX020 — Ferramentas de terceiros. Como as ferramentas de terceiros devem ser relatadas? Rubrica: 3 = nome e versão exata; 2 = nome; 1 = omitidas; 0 = nada.
Síntese
Enuncie uma contribuição testável, escreva requisitos e critérios de aceitação, especifique um gerador reprodutível e planeje verificações de realismo.
Continue estudando — capítulo 03 de 08
← Capítulo 02 (rascunho) · Índice de capítulos do curso · Capítulo 04 (rascunho) →