Capítulo 49 — Tese de engenharia

Mapa da aula

Aula 49 publicada. Mapa, exemplo, EX145.

flowchart TD
  N0["49.1 Afirmação"]
  N1["49.2 Corpo"]
  N2["49.3 Citações"]
  N3["49.2b Ameaças à validade"]
  N4["49.3b Apêndice de reprodutibilidade"]
  N5["49.1b Honestidade nos trabalhos relacionados"]
  N6["Nota de prática"]
  N7["49.4b Estrutura do argumento"]
  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 Afirmação"]
  N1["49.2 Corpo"]
  N2["49.3 Citações"]
  N3["49.2b Ameaças à validade"]
  N4["49.3b Apêndice de reprodutibilidade"]
  N5["49.1b Honestidade nos trabalhos relacionados"]
  N6["Nota de prática"]
  N7["49.4b Estrutura do argumento"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX145"]

[49.1 Afirmação]
    |
    v
[49.2 Corpo]
    |
    v
[49.3 Citações]
    |
    v
[49.2b Ameaças à validade]
    |
    v
[49.3b Apêndice de reprodutibilidade]
    |
    v
[49.1b Honestidade nos trabalhos relacionados]
    |
    v
[Nota de prática]
    |
    v
[49.4b Estrutura do argumento]
    |
    v
[Exemplo resolvido] --> [Exercício EX145]

Objetivos de aprendizagem

Você vai (1) estruturar uma tese em torno de uma afirmação sobre a plataforma; (2) defender medidas e limites; (3) citar corretamente os frameworks primários.

49.1 Afirmação

Uma frase: o que você construiu/mediu e para quem. Exemplo: "A distribuição de política assinada com semântica de falha fechada reduz allows não autorizados em ensaios sintéticos." Uma frase que nomeia o que foi construído ou medido, e para quem, impede que a tese se perca em marketing de ferramentas. O exemplo da política assinada é o formato que Sam usou. Os examinadores leem essa frase primeiro e julgam cada capítulo contra ela. Capítulos que não servem a essa frase são cortados na revisão do orientador. Os capítulos cortados são listados nas notas do orientador, para que o estudante veja o porquê.

49.2 Corpo

Trabalhos relacionados (SP 800-115, PTES, ATT&CK, Albrecht & Jensen), desenho, verificação, resultados com intervalos, limitações, ética. Os intervalos ficam junto dos resultados, para que pontuações únicas vazias não dominem. O capítulo de resultados de Sam abre com os tempos até negar tudo e notas de confiança antes de qualquer elogio qualitativo. Elogios qualitativos sem números vão para um apêndice ou são apagados. Apêndices que só elogiam ferramentas sem dados são removidos antes da entrega. Elogios sem dados são um hábito comum em rascunhos e são pegos na revisão do orientador. Cada tabela de resultados informa o número de ensaios e as datas em que rodaram.

49.3 Citações

Use as URLs/DOIs verificados da política de fontes; não invente artigos. Frameworks mudam — anote as datas de acesso. Artigos inventados reprovam rapidamente numa defesa oral. URLs/DOIs verificados com datas de acesso mantêm verificáveis as afirmações sobre frameworks quando as edições mudam. A citação do CBEST 2024 de Sam inclui a data de acesso e o título exato do guia da lista da política de fontes. Datas de acesso com mais de um ano disparam uma nova verificação antes da entrega. As novas verificações atualizam a data de acesso no mesmo commit que a bibliografia.

Caso sintético — Riverstone Transit. O rascunho da tese usou apenas dados de ensaios sintéticos e citou corretamente o CBEST 2024 Implementation Guide.

49.4 Erros e limites

Uma tese que avalia habilidade de exploração está fora do escopo do programa. A habilidade de exploração como resultado de tese está fora do programa e da fronteira de segurança. Medição de plataforma e desenho com falha fechada estão dentro. O orientador de Sam devolve propostas que avaliam a esperteza de red team em vez de evidência de engenharia autorizada. Métricas de esperteza são listadas como não objetivos na proposta e cobradas na defesa. Slides da defesa que mostram demos de habilidade de exploração são interrompidos pelo presidente da banca. A interrupção do presidente é praticada no ensaio com um slide de exploit plantado.

49.2b Ameaças à validade

Discuta a validade de construto (a cobertura mede o que você afirma?), a validade interna (fatores de confusão no ensaio) e a validade externa (outras organizações). Uma tese que pula esta seção afirma demais por omissão. A cobertura precisa ser defendida como cobertura de técnicas planejadas, não como risco residual. A parte de ameaças à validade de Sam declara que um único anfitrião de transporte e injeções sintéticas limitam a generalização para outros setores. Os limites de setor são declarados no resumo, não apenas enterrados no capítulo nove. O resumo e o capítulo nove passam por um lint que exige a mesma frase de limite. Cada ameaça vem acompanhada do que foi feito para reduzi-la ou do motivo de não ter sido possível reduzi-la.

49.3b Apêndice de reprodutibilidade

Entregue o suficiente para repetir os ensaios sintéticos: hashes dos fixtures, SHAs das ferramentas, scripts. "Disponível mediante solicitação" não é um apêndice de reprodutibilidade para uma tese de engenharia neste programa. Hashes dos fixtures, SHAs das ferramentas e scripts no apêndice valem mais que "disponível mediante solicitação". Um leitor cético deve conseguir repetir o ensaio sintético. O apêndice de Sam lista o SHA do TrackScope, o hash do pacote de fixtures e os comandos de uma linha que reproduziram a medida de negar tudo em ≤30 s. Os comandos são copiados do CI, não redigitados de memória, para que continuem exatos. A cópia do CI inclui o digest da imagem que os comandos esperam.

49.1b Honestidade nos trabalhos relacionados

Cite os frameworks que você realmente usou. Encher os trabalhos relacionados com artigos não lidos é descoberto rapidamente nas perguntas da defesa. Fino e exato vale mais que grosso e falso. Citações não lidas desmoronam diante das perguntas da defesa. Sam cita SP 800-115, PTES, ATT&CK e Albrecht e Jensen porque cada um aparece numa escolha de desenho ou de medição que ele consegue apontar. Um framework citado nos trabalhos relacionados, mas não usado no desenho, é removido. A remoção é preferível a uma vaga alegação de "inspirado em". Cada citação nomeia a edição ou versão que foi usada.

Nota de prática

Os examinadores recebem um resumo de uma página das ameaças à validade. Se você não consegue caber a honestidade numa página, a tese afirma demais em outro lugar. Extensão não é rigor; limites estruturados são.

Coloque a frase da afirmação em negrito na primeira página, para que os examinadores e você compartilhem o mesmo alvo.

Afirmações nos trabalhos relacionados exigem uma nota de uma linha sobre como foram usados, não só uma citação.

Notas de como foi usado acabam de vez com o inchaço de citações na revisão do orientador.

A página de ameaças à validade é avaliada; deixá-la em branco reprova no portão da tese, seja qual for a qualidade da implementação.

Os examinadores leem essa página primeiro.

49.4b Estrutura do argumento

A tese de Sam declara sua afirmação no primeiro parágrafo, apresenta a evidência na ordem em que um leitor cético a exigiria e termina cada capítulo declarando o que aquele capítulo estabeleceu e o que continua incerto. O teste do orientador é se o resumo sozinho diz a um leitor exatamente o que foi mostrado. Terminar cada capítulo com o que foi estabelecido e o que continua incerto treina o resumo a ser preciso. Sam reescreveu o resumo três vezes até que ele nomeasse a medida de negar tudo e o limite de um único anfitrião sem adjetivos. Adjetivos como robusto e transparente são banidos do resumo pelo mesmo lint usado no texto da interface. O lint do resumo roda no CI sobre o Markdown da tese.

Exercícios

• EX145 — Afirmação. Escreva uma afirmação de tese de uma frase para a aprovação dupla. Rubrica: 3 = mensurável+delimitada; 2 = vaga; 1 = afirmação de exploit; 0 = nada.
• EX146 — Limite. Um parágrafo de limitação (3 frases). Rubrica: 3 = validade externa clara; 2 = parcial; 1 = nada; 0 = afirma demais.
• EX147 — Citação. Dê o DOI do NIST SP 800-115. Rubrica: 3 = 10.6028/NIST.SP.800-115; 2 = só o título; 1 = errado; 0 = nada.

Síntese

Uma afirmação, limites honestos, citações reais.

Continue estudando — capítulo 49 de 50

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