Capítulo 7 — Síntese da tese e arquivo de reprodutibilidade
Mapa da aula
Aula 07 publicada. Mapa, exemplo, EX039.
flowchart TD
N0["7.1 Alegações a partir das evidências"]
N1["7.2 Limitações"]
N2["7.3 Arquivo de reprodutibilidade"]
N3["7.4 Segredos vs ciência"]
N4["7.5 Estrutura da tese"]
N5["7.5b Guia de leitura para profissionais"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
N6 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX039"]
Desenho lógico
flowchart LR
N0["7.1 Alegações a partir das evidências"]
N1["7.2 Limitações"]
N2["7.3 Arquivo de reprodutibilidade"]
N3["7.4 Segredos vs ciência"]
N4["7.5 Estrutura da tese"]
N5["7.5b Guia de leitura para profissionais"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX039"]
[7.1 Alegações a partir das evidências]
|
v
[7.2 Limitações]
|
v
[7.3 Arquivo de reprodutibilidade]
|
v
[7.4 Segredos vs ciência]
|
v
[7.5 Estrutura da tese]
|
v
[7.5b Guia de leitura para profissionais]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX039]
Objetivos de aprendizagem
Você vai (1) sintetizar alegações que decorrem das evidências; (2) declarar limitações sem teatro de desculpas; (3) montar um arquivo de reprodutibilidade que outros possam executar; (4) separar artefatos científicos de segredos operacionais; e (5) preparar a estrutura da tese.
7.1 Alegações a partir das evidências
Cada alegação cita uma medida, uma amostra e condições. Exemplo: "Nas faixas sintéticas do NHUSTL, ativar predicados de escopo verificáveis por máquina reduziu as sondagens fora do escopo de 0,17 por hora para 0,03 por hora (20 engajamentos por braço)." Alegações que precisariam de detalhes de exploração são reescritas como alegações de medição. A frase de Elena nomeia o cenário, as taxas e a amostra. Uma alegação como "o laboratório é seguro" precisaria de detalhes de exploração ou de uma pontuação universal; ela reescreve cada rascunho desse tipo como uma alegação de medição com condições. Toda alegação do capítulo de resultados deve passar nesse teste.
7.2 Limitações
Liste: topologia sintética; operadores estudantes; uma única implementação do verificador; ROE apenas em inglês; nenhuma rede corporativa ao vivo. Limitações não são falhas — elas delimitam a alegação. Elena coloca a lista antes da discussão. Cada linha estreita onde a queda de 0,17 para 0,03 pode ser alegada: ainda não em redes corporativas ao vivo, ainda não com operadores profissionais, ainda não com outros desenhos de verificador. As limitações fazem parte da contribuição porque impedem a generalização insegura para programas corporativos ao vivo. Cada linha é um limite da alegação, não uma desculpa.
7.3 Arquivo de reprodutibilidade
Inclua: o esquema dos logs anonimizados; o código-fonte do verificador; os scripts de pontuação; o pré-registro; os cadernos de análise que regeneram as tabelas a partir dos dados brutos; as versões fixadas do ambiente. Um par deve reproduzir a tabela primária numa máquina limpa.
"""Verify integrity of a synthetic evidence package."""
import hashlib, json
files = {
"roe.pdf": b"SYNTHETIC-ROE-v1",
"scope.csv": b"host,port\n10.20.1.10,443\n",
"findings.json": b'[{"id":"SYN-001"}]',
}
expected = {n: hashlib.sha256(b).hexdigest()[:16] for n,b in files.items()}
# Simulate tampering of findings.json
current = dict(expected)
current["findings.json"] = hashlib.sha256(b'[{"id":"SYN-001"},{"id":"TAMPERED"}]').hexdigest()[:16]
print(json.dumps(expected, indent=1))
for n in sorted(expected):
status = "OK" if expected[n] == current[n] else "MISMATCH"
print(f"{n:16} {status}")
Saída esperada:
{
"roe.pdf": "18d74983d403e7db",
"scope.csv": "01cc4815eddf3de6",
"findings.json": "7f5f178ab43ef00f"
}
findings.json MISMATCH
roe.pdf OK
scope.csv OK
O arquivo de Elena regenera a tabela primária — prosa 0,17 por hora contra verificador 0,03 por hora, vinte engajamentos por braço — a partir dos logs anonimizados. As versões fixadas do ambiente registram as versões do Python e do verificador. Um par que não consiga reconstruir a tabela numa máquina limpa encontrou uma lacuna. Calcule o hash da versão publicada para que os examinadores possam detectar edições acidentais depois da fixação.
7.4 Segredos vs ciência
Deixe fora do arquivo: credenciais reais, nomes de clientes, procedimentos transformados em arma. Deixe dentro: topologias sintéticas, medidas, código de escopo e de pontuação. Fixe o arquivo por hash; o laboratório mostra como um arquivo de achados adulterado é detectado. O apêndice privado de Elena guarda modelos de autorização sem assinaturas. O laboratório de hash mostra um findings.json adulterado como MISMATCH, enquanto roe.pdf e scope.csv continuam OK; ela investiga, restaura a partir de uma cópia confiável e recalcula os hashes antes da submissão. A fixação por hash é o que torna o arquivo confiável depois que ele sai da sua máquina.
7.5 Estrutura da tese
Introdução; fundamentação (NIST 800-115, PTES, ATT&CK, TIBER-EU/CBEST, críticas de medição); trabalhos relacionados; métodos; resultados; discussão; ética; guia do arquivo; conclusão. O resumo de Elena declara a pergunta, a medida e o resultado primário em menos de 250 palavras, para que o leitor encontre a alegação antes do guia do arquivo. Cada capítulo corresponde a uma etapa do doutorado: os métodos contêm o pré-registro e a ética; os resultados contêm as taxas; a discussão e as limitações delimitam a alegação; e o guia do arquivo diz a um par como reconstruir a tabela primária. Mantenha a ordem para que os examinadores encontrem cada parte depressa.
7.5b Guia de leitura para profissionais
Inclua um guia de leitura de duas páginas no início do arquivo: como instalar, como reproduzir a tabela primária e quais arquivos estão deliberadamente ausentes (e por quê). Avaliadores ocupados não vão fazer engenharia reversa da organização do seu repositório. O guia de Elena nomeia os arquivos ausentes — autorizações assinadas, quaisquer detalhes de vulnerabilidades reais — e o motivo de uso dual de sua ausência. Os passos de instalação e reprodução são numerados, com saída esperada igual à tabela primária. Um colega de fora do projeto testa o guia numa máquina limpa antes da submissão e relata qualquer passo que falhe.
7.6 Exemplo resolvido (caso sintético do NHUSTL)
O arquivo de Elena é um repositório público com dados sintéticos e o verificador. Um apêndice privado guarda modelos institucionais de autorização sem assinaturas. Ela verifica a integridade do arquivo com hashes antes da submissão. Seu capítulo de síntese rejeita a frase "o laboratório é seguro" em favor da redução de taxa medida sob condições declaradas. O repositório público é o que examinadores e pesquisadores posteriores podem executar. O apêndice privado fica dentro da universidade. A verificação dos hashes antes da submissão flagra edições acidentais que fariam uma tabela reconstruída discordar do capítulo de resultados.
7.7 Erros e limites
Três erros são comuns: arquivos que não rodam; alegações mais amplas que as condições; e misturar segredos de clientes em artefatos públicos. Cada erro enfraquece a tese. Arquivos que não rodam não podem sustentar a alegação de reprodutibilidade. Alegações mais amplas que as condições convidam os leitores a aplicar os resultados onde eles nunca foram testados. Segredos de clientes em artefatos públicos transformam a pesquisa numa exposição. Verifique os três pontos no arquivo e no capítulo de síntese antes da submissão. Peça também a um revisor que os verifique. O revisor de Elena reproduz a tabela primária a partir do arquivo público e procura nele nomes de clientes antes da submissão.
Exercícios
- EX039 — Alegação. Escreva uma alegação vinculada às evidências. Rubrica: 3 = medida, amostra, condições; 2 = dois; 1 = slogan; 0 = nenhum.
- EX040 — Limites. Liste cinco limitações. Rubrica: 3 = cinco adequadas; 2 = quatro; 1 = duas; 0 = nenhuma.
- EX041 — Arquivo. Liste seis conteúdos do arquivo. Rubrica: 3 = seis; 2 = quatro; 1 = dois; 0 = nenhum.
- EX042 — Laboratório de hash. O que um MISMATCH em findings.json implica? Rubrica: 3 = adulteração/mudança desde a fixação; bloquear a confiança; investigar; 2 = dois; 1 = um; 0 = errado.
- EX043 — Segredos. Classifique quatro itens como arquivo público ou privado. Rubrica: 3 = quatro corretos; 2 = três; 1 = um; 0 = nenhum.
- EX044 — Estrutura. Esboce oito capítulos de tese. Rubrica: 3 = ordem coerente; 2 = a maioria; 1 = poucos; 0 = nenhum.
Síntese
A síntese vincula as alegações às evidências; o arquivo permite que outros verifiquem você; os segredos ficam fora do pacote científico.
Continue estudando — capítulo 07 de 08
← Capítulo 06 (rascunho) · Índice de capítulos do curso · Capítulo 08 (rascunho) →