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["Nota prática"]
N4["49.1b Honestidade nos trabalhos relacionados e repro"]
N5["Nota de campo — a afirmação na primeira página"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
N6 --> 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["Nota prática"]
N4["49.1b Honestidade nos trabalhos relacionados e repro"]
N5["Nota de campo — a afirmação na primeira página"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX145"]
[49.1 Afirmação]
|
v
[49.2 Corpo]
|
v
[49.3 Citações]
|
v
[Nota prática]
|
v
[49.1b Honestidade nos trabalhos relacionados e repro]
|
v
[Nota de campo — a afirmação na primeira página]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX145]
Objetivos de aprendizagem
Você vai (1) estruturar uma tese em torno de uma afirmação sobre o programa; (2) defender as medidas e os limites; (3) citar corretamente a SP 800-82, a 62443, o ATT&CK for ICS e os artigos de avaliação.
49.1 Afirmação
Uma frase: o que você construiu/mediu e para quem. Exemplo: a distribuição de listas de permissões assinadas, com semântica de falha fechada, reduz as escritas não autorizadas encaminhadas em ensaios sintéticos.
A afirmação da própria Lena foi sobre o seu compilador: para o modelo de nove condutos da ABP, as regras geradas conferiram com a alcançabilidade do projeto e pegaram três erros que a revisão manual deixou passar. A sua frase nomeia o que ela construiu, em qual modelo de planta foi testado e o que mostrou, para que um examinador possa conferir cada parte contra a evidência. Ela a reescreveu várias vezes, até que cada oração apontasse para um resultado específico no corpo do texto.
49.2 Corpo
Trabalhos relacionados, projeto, verificação, resultados com intervalos e classes de ataque, limitações, ética.
A tese de Lena segue essa ordem. Os trabalhos relacionados citam as normas por trás dos seus métodos, cada uma com uma nota de como foi usada. O projeto explica como o compilador transforma o modelo de zonas da ABP em regras. A verificação mostra a verificação de equivalência e os vetores de conformidade, os resultados relatam os três erros encontrados, as limitações declaram que um modelo de zonas defeituoso seria compilado fielmente, e o capítulo de ética explica por que nenhuma planta em operação foi tocada. Cada parte aponta para evidências.
49.3 Citações
Use URLs/DOIs verificados da política de fontes; não invente artigos. Anote as datas de acesso. Giraldo et al. CSUR 2018 doi 10.1145/3203245; Urbina et al. CCS 2016 doi 10.1145/2976749.2978388.
Caso sintético — Ashford Batch Plant. O rascunho da tese usou apenas dados de ensaios sintéticos e citou corretamente a SP 800-82 Rev. 3.
Lena conferiu cada referência da sua tese contra o DOI ou a URL oficial e registrou a data de acesso. Cada citação tem uma nota dizendo como o trabalho foi usado, então nenhuma é listada sem ter sido lida. O seu orientador conferiu as notas.
49.4 Erros e limites
Uma tese que avalia a habilidade de exploração está fora do escopo do programa.
A tese de Lena mede se o seu compilador produz regras corretas, não se ela consegue invadir uma planta. O seu capítulo de ética declara que o trabalho usou apenas exportações sintéticas do modelo de zonas da ABP e o firewall de bancada, e dá um exemplo de pedido que ela recusou: testar as regras geradas contra o firewall de uma planta em operação. Os examinadores julgam a engenharia e as evidências, então a habilidade de ataque não é demonstrada nem avaliada na defesa.
Nota prática
A página de ameaças à validade é avaliada. Os examinadores leem essa página primeiro. Extensão não é rigor; limites estruturados são.
49.1b Honestidade nos trabalhos relacionados e reprodutibilidade
Cite os frameworks que você de fato usou. Encher os trabalhos relacionados com artigos não lidos é descoberto na defesa. Entregue o suficiente para reproduzir os ensaios sintéticos: hashes dos dados de teste, SHAs das ferramentas, scripts. "Disponível mediante pedido" não é um apêndice de reprodutibilidade. Ponha a frase da afirmação em negrito na primeira página.
As notas de "como foi usado" acabam de vez com o enchimento de citações na revisão do orientador. Deixar em branco a página de ameaças à validade reprova a tese no portão, qualquer que seja a qualidade da implementação.
A página de ameaças de Lena lista, como primeira ameaça, a dependência do compilador de um modelo de zonas correto, a mesma limitação que ela nomeia na defesa.
Nota de campo — a afirmação na primeira página
Examinadores e orientadores miram o mesmo alvo quando a frase da afirmação está em negrito na primeira página. Trabalhos relacionados enxutos e precisos, com notas de como foram usados, vencem uma bibliografia inchada que desaba na primeira pergunta.
O apêndice de Lena permite que um examinador reproduza a verificação de equivalência em menos de dez minutos.
Cada entrada dos trabalhos relacionados declara se o método citado foi usado, comparado ou apenas discutido.
49.5 Exemplo resolvido — uma afirmação de tese com as suas evidências (ABP sintética)
A afirmação da tese de Lena, na primeira página: "Para o modelo de nove condutos da ABP, um compilador que gera regras de firewall e vetores de conformidade a partir de um modelo de zonas produziu regras equivalentes ao projeto em alcançabilidade e pegou três erros de regras que a revisão manual deixou passar." O corpo sustenta cada oração: a verificação de equivalência, os três erros com os seus vetores e os resultados da revisão manual sobre o mesmo conjunto de regras. Os trabalhos relacionados citam a IEC 62443-3-2 para o método de zonas e condutos e a NIST SP 800-82r3 para a orientação de segmentação, e declaram com clareza que existem ferramentas de verificação formal com as quais a tese não se comparou.
Exercícios
- EX145 — Afirmação. Afirmação de tese numa frase para a dupla aprovação de condutos. Rubrica: 3 = mensurável+delimitada; 2 = vaga; 1 = afirmação de exploit; 0 = nada.
- EX146 — Limite. Um parágrafo de limitações (3 frases). Rubrica: 3 = validade externa clara; 2 = parcial; 1 = nenhuma; 0 = afirma demais.
- EX147 — Citação. Dê o DOI de Urbina et al. CCS 2016. Rubrica: 3 = 10.1145/2976749.2978388; 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 · Índice de capítulos do curso · Capítulo 50 →
Siga para a próxima lição escrita.