Capítulo 8 — Defensa y plan de publicación
Mapa de la lección
Lección 08 publicada. Mapa, ejemplo, EX045.
flowchart TD
N0["Resultados de aprendizaje y conexión"]
N1["8.1 Auditoría del registro de afirmaciones"]
N2["8.2 Familias de preguntas de los examinadores"]
N3["8.3 Secuenciación de las publicaciones"]
N4["8.4 Divulgación coordinada"]
N5["8.5 Traducción para la práctica"]
N6["8.6 Programa posdoctoral"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
N7 --> EX["Ejemplo resuelto"]
EX --> Q["Ejercicio EX045"]
Dibujo lógico
flowchart LR
N0["Resultados de aprendizaje y conexión"]
N1["8.1 Auditoría del registro de afirmaciones"]
N2["8.2 Familias de preguntas de los examinadores"]
N3["8.3 Secuenciación de las publicaciones"]
N4["8.4 Divulgación coordinada"]
N5["8.5 Traducción para la práctica"]
N6["8.6 Programa posdoctoral"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX045"]
[Resultados de aprendizaje y conexión]
|
v
[8.1 Auditoría del registro de afirmaciones]
|
v
[8.2 Familias de preguntas de los examinadores]
|
v
[8.3 Secuenciación de las publicaciones]
|
v
[8.4 Divulgación coordinada]
|
v
[8.5 Traducción para la práctica]
|
v
[8.6 Programa posdoctoral]
|
v
[Síntesis del capítulo]
|
v
[Ejemplo resuelto] --> [Ejercicio EX045]
Resultados de aprendizaje y conexión
Después de este capítulo usted podrá (1) auditar un registro de afirmaciones antes de la defensa, (2) prepararse para las familias de preguntas de los examinadores, (3) secuenciar las publicaciones, (4) canalizar las vulnerabilidades de productos mediante la divulgación coordinada y (5) traducir los hallazgos para los operadores y los organismos de normalización. Completa el proyecto iniciado en el capítulo 1.
8.1 Auditoría del registro de afirmaciones
Cada afirmación de la tesis necesita evidencia, alcance y un falsador, y debe evitar una redacción excesiva. El laboratorio 8 automatiza la primera pasada.
# Lab 8: audit a thesis claim register (synthetic). Every claim needs evidence, scope and a falsifier.
claims = [
{"id": "C1", "text": "Residual CUSUM detects replay on Plant A tank model", "evidence": "Lab3 100/100", "scope": "simulated tank, single-sensor replay", "falsifier": "replay+flow"},
{"id": "C2", "text": "Method secures water utilities", "evidence": "", "scope": "", "falsifier": ""},
{"id": "C3", "text": "Band alarms miss replay", "evidence": "Lab3 0/100", "scope": "band +/-1.5", "falsifier": ""},
{"id": "C4", "text": "Detection holds on testbed T2", "evidence": "Ch5 table 5.2", "scope": "T2, class A replay", "falsifier": "class B: flow meter also spoofed"},
]
overreach = ("secures", "prevents all", "guarantees", "real-world")
for c in claims:
issues = [f for f in ("evidence", "scope", "falsifier") if not c[f]]
if any(w in c["text"].lower() for w in overreach): issues.append("overreach wording")
print(c["id"], "PASS" if not issues else "REVISE: " + ", ".join(issues))
Salida esperada:
C1 PASS
C2 REVISE: evidence, scope, falsifier, overreach wording
C3 REVISE: falsifier
C4 PASS
C2 debe eliminarse o acotarse; C3 necesita un falsador (por ejemplo, «una banda lo bastante estrecha para captar la repetición superaría el presupuesto de falsas alarmas por turno»). Una lista de palabras clave es una comprobación tosca; la auditoría humana sigue leyendo cada afirmación.
La lista de palabras clave del laboratorio 8 es deliberadamente corta, así que superarla demuestra poco. Una auditoría humana debería contrastar igualmente C4 con los resultados de T2: su alcance es la repetición de clase A porque la clase B evadió la detección en T2, y la exhaustividad de 18 de 20 debe figurar junto a la afirmación, no solo en el capítulo de resultados. Repita la auditoría después de cada revisión del resumen o de la conclusión, y conserve la salida de cada ejecución en el historial del registro de afirmaciones para que los examinadores puedan ver cómo se acotaron las afirmaciones.
8.2 Familias de preguntas de los examinadores
Prepare respuestas para: posicionamiento («¿qué hay de nuevo más allá de Page y Giraldo?»), validez («¿por qué debería generalizarse un banco de pruebas?»), adversario («¿qué hace un atacante más fuerte?»), seguridad física («¿cómo acotó los experimentos en T2?»), ética («¿qué retuvo y por qué?») e impacto («¿qué debería cambiar un operador el lunes?»). La respuesta a la última es arquitectónica: disponer de una segunda medición cableada de forma independiente de las magnitudes clave del proceso y mostrar los valores predichos frente a los informados.
Ensaye cada familia en voz alta con un colega que interrumpa, y mantenga una hoja con una respuesta breve y una referencia a la figura o tabla que la respalda. Cuando no sepa algo, diga qué evidencia respondería a la pregunta y qué tiene realmente. Responda a la pregunta formulada y luego deténgase.
8.3 Secuenciación de las publicaciones
Artículo 1: la contribución de metodología de evaluación (impacto en el momento de la detección y métricas por eventos, con la lección de la reproducción al estilo de TankBench-21 contada de forma genérica). Artículo 2: la comparación del Setpoint Study con las condiciones límite. Artículo 3: el hallazgo sobre la interpretabilidad para los operadores, con colaboradores de factores humanos. Publique el archivo T0/T1 con el artículo 2. Planifique cada artículo de modo que no contradiga la tesis ni los demás artículos, y registre qué afirmaciones y figuras reutiliza cada uno. Si el artículo sobre operadores se retrasa por la revisión de factores humanos, los otros dos pueden aparecer igualmente; el archivo se publica con el artículo 2 porque es el artículo cuyas cifras reproduce. Acuerde la autoría con los colaboradores antes de empezar a escribir.
8.4 Divulgación coordinada
Si la investigación revela una vulnerabilidad en un producto comercial —por ejemplo, un PLC que acepta escrituras no autenticadas en un registro que debería ser de solo lectura—, comuníquela al fabricante y, cuando corresponda, a un coordinador como el programa de divulgación coordinada de vulnerabilidades de CISA, acuerde un calendario y publique los detalles técnicos solo cuando haya mitigaciones disponibles. Una propiedad de diseño documentada en una especificación pública (la falta de autenticación de Modbus) no es una divulgación de vulnerabilidad; un fallo de implementación sí lo es.
Registre el calendario de divulgación en el apéndice de la tesis con las fechas del primer contacto, del acuse de recibo del fabricante y de la publicación. Si el fabricante no responde, siga el proceso del coordinador en lugar de publicar antes de tiempo. La tesis puede describir igualmente la clase de debilidad mientras retiene los nombres de los productos y los pasos hasta que existan mitigaciones.
8.5 Traducción para la práctica
Escriba un informe de dos páginas para los operadores con niveles de confianza: «Confianza alta (modelo + banco de pruebas): las alarmas de banda por sí solas no detectan lecturas de nivel repetidas. Confianza media (dos contextos): una medición de caudal independiente más una comprobación de residuos detecta la repetición sobre un solo sensor. Sin protección: si un solo dispositivo o PLC controla ambas mediciones». Sugiera a los grupos de trabajo de normalización que se consideren rutas de medición independientes al evaluar los niveles de seguridad de las zonas, como propuesta y no como hallazgo de cumplimiento.
Pruebe el informe con uno o dos operadores antes de publicarlo: ¿pueden decir qué comprobar el lunes? Si no pueden, hay que reformular los niveles de confianza o la recomendación. Mantenga el informe coherente con la afirmación acotada y no permita que un formato más corto omita el caso en que un solo dispositivo controla ambas mediciones.
8.6 Programa posdoctoral
Extender el trabajo a plantas de varios lazos, probar modelos calibrados en lugar de inventados, medir el tiempo de respuesta de los operadores con personal real de salas de control (que dé su consentimiento) y estudiar atacantes de clase C que modifican la lógica del PLC. Cada extensión prueba un límite que la tesis midió pero no pudo cruzar. Las plantas de varios lazos prueban si los residuos siguen siendo interpretables cuando los lazos interactúan. Los modelos calibrados prueban si los parámetros inventados sobrestimaron la separación. Los operadores reales prueban la interpretabilidad a escala. Los atacantes de clase C, que pueden reescribir la lógica del controlador, prueban si algún invariante sobrevive cuando el propio controlador miente; los mismos límites de seguridad y la misma revisión ética se aplican a las cuatro extensiones.
Ejercicios — capítulo 8
- EX045 — Audite tres afirmaciones del capítulo 5. Audite tres afirmaciones de su propio párrafo de resultados del capítulo 5 con los criterios del laboratorio 8. Rúbrica: 3 = tres afirmaciones etiquetadas PASS/REVISE con correcciones de alcance; 2 = dos afirmaciones; 1 = una; 0 = nada.
- EX046 — Respuestas de defensa sobre posicionamiento y seguridad. Escriba respuestas modelo a las preguntas de los examinadores sobre posicionamiento y seguridad física. Rúbrica: 3 = posicionamiento más allá de Page/Giraldo + respuesta de seguridad con los límites de T2/parada de emergencia; 2 = una familia; 1 = vago; 0 = nada.
- EX047 — Secuencie tres artículos por tipo de foro. Secuencie tres artículos con foros del tipo adecuado (seguridad, control, factores humanos) y justifique el orden. Rúbrica: 3 = orden seguridad→control/CPS→FH con razón de dependencia; 2 = tres foros en orden erróneo; 1 = un artículo; 0 = nada.
- EX048 — Tres decisiones de divulgación. Decida si cada uno de tres hallazgos es un caso de divulgación: Modbus carece de autenticación; un firmware de PLC acepta escrituras en un registro protegido; el PLC de T2 comparte cableado para ambos sensores. Rúbrica: 3 = Modbus=documentado; escritura en registro protegido=divulgación coordinada; cableado compartido de T2=responsable del laboratorio, no divulgación de producto; 2 = dos correctas; 1 = una; 0 = nada.
- EX049 — Declaraciones de confianza sin clase B. Escriba las tres declaraciones de confianza del informe para operadores de un estudio en el que no se probó la clase B. Rúbrica: 3 = alta/media/desconocida con la clase B no probada explícita; 2 = falta desconocida; 1 = un nivel; 0 = nada.
- EX050 — Posdoctorado de dos años con dos hipótesis. Esboce un programa posdoctoral de dos años con dos hipótesis falsables. Rúbrica: 3 = plan de dos años con dos H falsables, incluidas métricas/límites de FA; 2 = plan sin H falsables; 1 = solo temas; 0 = nada.
Síntesis del capítulo
Audite cada afirmación, prepárese para las seis familias de preguntas, publique en un orden que genere credibilidad, divulgue los fallos de implementación mediante coordinación y traduzca los hallazgos con una confianza explícita. La contribución doctoral es un método medido y sus límites medidos.
Siga estudiando — capítulo 08 de 08
← Capítulo 07 (borrador) · Índice de capítulos del curso · Resultados resueltos ↓ · Siguiente curso: Infraestructura crítica y seguridad sectorial, doctorado (curso 207) →