Capítulo 49 — Tesis de ingeniería

Mapa de la lección

Lección 49 publicada. Mapa, ejemplo, EX145.

flowchart TD
  N0["Resultados de aprendizaje"]
  N1["49.1 Afirmación"]
  N2["49.2 Cuerpo"]
  N3["49.3 Citas"]
  N4["Nota práctica"]
  N5["49.1b Honestidad en los trabajos relacionados y repr"]
  N6["Nota de campo: la afirmación en la primera página"]
  N7["Síntesis del capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
  N7 --> EX["Ejemplo resuelto"]
  EX --> Q["Ejercicio EX145"]

Dibujo lógico

flowchart LR
  N0["Resultados de aprendizaje"]
  N1["49.1 Afirmación"]
  N2["49.2 Cuerpo"]
  N3["49.3 Citas"]
  N4["Nota práctica"]
  N5["49.1b Honestidad en los trabajos relacionados y repr"]
  N6["Nota de campo: la afirmación en la primera página"]
  N7["Síntesis del capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX145"]

[Resultados de aprendizaje]
    |
    v
[49.1 Afirmación]
    |
    v
[49.2 Cuerpo]
    |
    v
[49.3 Citas]
    |
    v
[Nota práctica]
    |
    v
[49.1b Honestidad en los trabajos relacionados y repr]
    |
    v
[Nota de campo: la afirmación en la primera página]
    |
    v
[Síntesis del capítulo]
    |
    v
[Ejemplo resuelto] --> [Ejercicio EX145]

Resultados de aprendizaje

Usted podrá (1) estructurar una tesis en torno a una afirmación sobre el programa; (2) defender las medidas y los límites; (3) citar correctamente SP 800-82, 62443, ATT&CK for ICS y los artículos de evaluación.

49.1 Afirmación

Una frase: qué construyó o midió usted y para quién. Ejemplo: la distribución firmada de listas de permitidos con semántica de fallo cerrado reduce las escrituras no autorizadas reenviadas en ensayos sintéticos. La afirmación de la propia Lena trataba de su compilador: para el modelo de nueve conductos de ABP, las reglas generadas coincidieron con la alcanzabilidad del diseño y detectaron tres errores que la revisión manual había pasado por alto. Su frase nombra lo que construyó, con qué modelo de planta se probó y qué mostró, de modo que un examinador pueda contrastar cada parte con la evidencia. La reescribió varias veces hasta que cada cláusula apuntó a un resultado concreto del cuerpo del trabajo.

49.2 Cuerpo

Trabajos relacionados, diseño, verificación, resultados con intervalos y clases de ataque, limitaciones, ética. La tesis de Lena sigue este orden. Los trabajos relacionados citan las normas en las que se basan sus métodos, cada una con una nota de uso. El diseño explica cómo el compilador convierte el modelo de zonas de ABP en reglas. La verificación muestra la comprobación de equivalencia y los vectores de conformidad, los resultados informan de los tres errores encontrados, las limitaciones indican que un modelo de zonas defectuoso se compilaría fielmente, y el capítulo de ética explica por qué no se tocó ninguna planta en vivo. Cada parte remite a evidencia.

49.3 Citas

Use URL/DOI verificados según la política de fuentes; no invente artículos. Anote las fechas de acceso. 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. El borrador de la tesis usó solo datos de ensayos sintéticos y citó correctamente SP 800-82 Rev. 3.

Lena comprobó cada referencia de su tesis frente a su DOI o su URL oficial y registró la fecha de acceso. Cada cita lleva una nota que indica cómo se usó la obra, así que ninguna figura sin haberse leído. Su director revisó las notas.

49.4 Errores y límites

Una tesis que evalúa la habilidad de explotación queda fuera del alcance del programa. El trabajo de Lena mide si su compilador produce reglas correctas, no si ella es capaz de irrumpir en una planta. Su capítulo de ética indica que el trabajo usó solo exportaciones sintéticas del modelo de zonas de ABP y el cortafuegos de banco, y da un ejemplo de una petición que rechazó: probar las reglas generadas contra el cortafuegos de una planta en vivo. Los examinadores juzgan la ingeniería y la evidencia, de modo que la habilidad de ataque ni se demuestra ni se evalúa en la defensa.

Nota práctica

La página de amenazas a la validez se califica. Los examinadores la leen primero. La extensión no es rigor; los límites estructurados sí.

49.1b Honestidad en los trabajos relacionados y reproducibilidad

Cite los marcos que realmente usó. Rellenar los trabajos relacionados con artículos no leídos se descubre en la defensa. Entregue lo suficiente para reproducir los ensayos sintéticos: hashes de los datos de prueba, SHA de las herramientas, scripts. «Disponible a petición» no es un apéndice de reproducibilidad. Ponga la frase de la afirmación en negrita en la primera página. Las notas de uso cortan de raíz el relleno de citas en la revisión del director. Dejar en blanco la página de amenazas a la validez suspende la barrera de la tesis, sea cual sea la calidad de la implementación.

La página de amenazas de Lena enumera como primera amenaza la dependencia del compilador de un modelo de zonas correcto, la misma limitación que nombra en su defensa.

Nota de campo: la afirmación en la primera página

Examinadores y directores comparten el mismo objetivo cuando la frase de la afirmación está en negrita en la primera página. Unos trabajos relacionados escuetos y exactos, con notas de uso, superan a una bibliografía inflada que se derrumba ante la primera pregunta.

El apéndice de Lena permite a un examinador reproducir la comprobación de equivalencia en menos de diez minutos.

Cada entrada de los trabajos relacionados indica si el método citado se usó, se tomó como comparación o solo se comentó.

49.5 Ejemplo resuelto: una afirmación de la tesis con su evidencia (ABP sintética)

La afirmación de la tesis de Lena, en la primera página: «Para el modelo de nueve conductos de ABP, un compilador que genera reglas de cortafuegos y vectores de conformidad a partir de un modelo de zonas produjo reglas equivalentes en alcanzabilidad al diseño y detectó tres errores de reglas que la revisión manual había pasado por alto». El cuerpo respalda cada cláusula: la comprobación de equivalencia, los tres errores con sus vectores y los resultados de la revisión manual sobre el mismo conjunto de reglas. Los trabajos relacionados citan IEC 62443-3-2 para el método de zonas y conductos y NIST SP 800-82r3 para las orientaciones de segmentación, e indican con claridad que existen herramientas de verificación formal con las que el trabajo no se comparó.

Ejercicios — capítulo 49

• EX145 — Afirmación. Afirmación de una frase para una tesis sobre la doble aprobación de conductos. Rúbrica: 3 = medible + acotada; 2 = vaga; 1 = afirmación de explotación; 0 = nada.
• EX146 — Límite. Un párrafo de limitaciones (3 frases). Rúbrica: 3 = validez externa clara; 2 = parcial; 1 = nada; 0 = afirmación exagerada.
• EX147 — Cita. Dé el DOI de Urbina et al. CCS 2016. Rúbrica: 3 = 10.1145/2976749.2978388; 2 = solo el título; 1 = erróneo; 0 = nada.

Síntesis del capítulo

Una afirmación, límites honestos, citas reales.

Siga estudiando — capítulo 49 de 50

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