Capítulo 6 — Crítica de pares y revisión

Mapa de la lección

Lección 06 publicada. Mapa, ejemplo, EX033.

flowchart TD
  N0["Resultados de aprendizaje y conexión"]
  N1["6.1 Las objeciones como hipótesis"]
  N2["6.2 Condiciones límite"]
  N3["6.3 La afirmación acotada"]
  N4["6.4 Revisión de doble uso"]
  N5["6.5 Respuesta a los revisores"]
  N6["Síntesis del capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
  N6 --> EX["Ejemplo resuelto"]
  EX --> Q["Ejercicio EX033"]

Dibujo lógico

flowchart LR
  N0["Resultados de aprendizaje y conexión"]
  N1["6.1 Las objeciones como hipótesis"]
  N2["6.2 Condiciones límite"]
  N3["6.3 La afirmación acotada"]
  N4["6.4 Revisión de doble uso"]
  N5["6.5 Respuesta a los revisores"]
  N6["Síntesis del capítulo"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX033"]

[Resultados de aprendizaje y conexión]
    |
    v
[6.1 Las objeciones como hipótesis]
    |
    v
[6.2 Condiciones límite]
    |
    v
[6.3 La afirmación acotada]
    |
    v
[6.4 Revisión de doble uso]
    |
    v
[6.5 Respuesta a los revisores]
    |
    v
[Síntesis del capítulo]
    |
    v
[Ejemplo resuelto] --> [Ejercicio EX033]

Resultados de aprendizaje y conexión

Después de este capítulo usted podrá (1) organizar una revisión interna de equipo rojo de sus propias afirmaciones, (2) convertir objeciones en hipótesis comprobables, (3) caracterizar las condiciones límite en lugar de ocultarlas, (4) realizar una revisión de doble uso de un artículo antes de enviarlo y (5) escribir una carta de respuesta a los revisores que responda de verdad. Ataca los resultados del capítulo 5 y alimenta el argumento de la tesis del capítulo 7.

6.1 Las objeciones como hipótesis

Invite a dos colegas —idealmente un ingeniero de control y un investigador de seguridad ofensiva— a atacar las afirmaciones. Registre cada objeción como una hipótesis con una prueba:

Tabla de la lección; desplázate para ver todas las columnas →

La segunda objeción es la más importante: revela que la fortaleza de la defensa es una propiedad arquitectónica (rutas de medición independientes), no algorítmica. La afirmación de la tesis se revisa en consecuencia.

6.2 Condiciones límite

Una buena tesis traza dónde funciona el método. En el Setpoint Study los límites son: (1) debe existir una segunda medición independiente de la misma física y estar fuera del control del atacante; (2) el error del modelo debe ser menor que la señal del ataque; (3) los ataques más lentos que la holgura pueden evadir, pero su impacto dentro de un horizonte declarado está acotado (en el modelo, ≤1,37 unidades de sobrellenado en 300 pasos para ganancias ≤0,01). Se enuncian en el resumen, no se entierran en una sección de limitaciones.

Cada límite debe enunciarse con la evidencia que lo mide: la inspección del cableado de T2 para el primero, el barrido del sesgo de calibración del laboratorio 6 para el segundo y el barrido de la ganancia del ataque de la revisión de equipo rojo para el tercero.

6.3 La afirmación acotada

Antes: «El CUSUM basado en la física detecta la manipulación de sensores en plantas de agua». Después: «Donde un sensor cableado de forma independiente mide una magnitud vinculada por un balance de masa conocido, un CUSUM de residuos con una holgura ajustada al error de calibración esperado detecta ataques de repetición sobre un solo sensor que las alarmas de banda no detectan, y acota el sobrellenado alcanzable por ataques más lentos; no ofrece protección cuando el atacante controla ambas rutas de medición». La afirmación acotada es más débil en alcance y mucho más sólida en evidencia.

Conserve en la tesis las versiones de antes y de después, para que los lectores vean cómo la crítica cambió el argumento. Contraste cada frase posterior con la afirmación acotada: un resumen o una conclusión que vuelva a derivar hacia las plantas de agua en general deshace el trabajo. La afirmación acotada también da a los operadores una prueba directa sobre su propio sitio: ¿está la segunda medición cableada de forma independiente?

6.4 Revisión de doble uso

Antes de enviar el artículo, pregunte: ¿ofrece el artículo una receta para la evasión de clase B contra un producto concreto? (No: describe la clase de capacidad, que ya está documentada como manipulación de la vista). ¿Revela la configuración de T2? (Solo la estructura genérica). ¿Ganaría más un defensor que un atacante? (Sí: la recomendación arquitectónica —rutas de medición independientes— es aplicable para los defensores y bien conocida por los atacantes capaces). Registre las respuestas en el apéndice de la tesis. Pida a un revisor ajeno al proyecto que responda las mismas preguntas sin ver sus respuestas y registre cualquier desacuerdo y cómo se resolvió. Si un trabajo posterior encuentra un fallo específico de un producto, como un PLC que acepta escrituras que debería rechazar, la revisión se repite y la divulgación se gestiona mediante el proceso coordinado antes de publicar.

6.5 Respuesta a los revisores

Responda a cada punto, cítelo, indique qué cambió y dónde, y discrepe con evidencia cuando deba hacerlo. Ejemplo: «El revisor 2 afirma que el CUSUM no es novedoso. Estamos de acuerdo y hemos revisado el §1 para posicionar la contribución como una medición de cuándo los invariantes entre sensores ayudan frente a la manipulación de la vista, citando a Page (1954) y Giraldo et al. (2018). La nueva declaración de contribución está en la p. 3». Mantenga una tabla con una fila por cada punto del revisor: la cita, su respuesta, el cambio realizado y su ubicación. Cuando discrepe, cite el resultado medido, como que la clase B evadió la detección en todos los ensayos, en lugar de reafirmar su opinión. Envíe la tabla con el manuscrito revisado para que el editor pueda comprobar cada cambio.

6.6 Errores comunes y límites

Defender en lugar de probar; ocultar el fallo frente a la clase B; afirmar generalidad entre plantas después de dos contextos; responder a los revisores sin indicar los cambios. Cada error convierte la crítica en defensa. Responda a la objeción de la rampa lenta con el barrido de ganancias, no con palabras tranquilizadoras. Ponga la clase B en el resumen. Limite la generalidad a los dos contextos medidos, el modelo de la planta A y el banco de pruebas T2. En las cartas a los revisores, indique qué cambió y dónde, para que un lector pueda verificar la revisión en lugar de confiar en la afirmación. Conserve la tabla de objeciones en la tesis.

Ejercicios — capítulo 6

• EX033 — La objeción del sobreajuste como prueba. Convierta la objeción «su umbral está sobreajustado» en una hipótesis y una prueba.
  Mostrar criterios de evaluación

  Rúbrica: 3 = hipótesis de caída con semillas no vistas/T2 + ajustar con 0–99 / evaluar con 1000–1099 y T2; 2 = hipótesis sin protocolo; 1 = reformula la objeción; 0 = nada.
• EX034 — Barrido de la ganancia del ataque para el CUSUM. Modifique el laboratorio 3 para barrer la ganancia del ataque (0,005, 0,01, 0,02, 0,05) para el CUSUM e informe la detección y el peor sobrellenado.
  Mostrar criterios de evaluación

  Rúbrica: 3 = cuatro ganancias con recuentos de detección, retardos y peor sobrellenado coincidentes con el barrido del laboratorio; 2 = dos ganancias; 1 = cualitativo; 0 = nada.
• EX035 — Párrafo de límites para el resumen. Escriba el párrafo de condiciones límite para el resumen en ≤ 80 palabras.
  Mostrar criterios de evaluación

  Rúbrica: 3 = ≤80 palabras: segunda medición independiente, error del modelo < ataque, ataques lentos ≤1,37 de sobrellenado; 2 = límites sin cifras; 1 = afirmación excesiva; 0 = nada.
• EX036 — Acote la afirmación sobre los servicios de agua. Reescriba la afirmación «el método protege los servicios de agua» como una afirmación acotada.
  Mostrar criterios de evaluación

  Rúbrica: 3 = dos contextos sintéticos + caudal independiente + fallo frente a la clase B; 2 = acotada, pero todavía «servicios»; 1 = edición menor; 0 = afirmación original.
• EX037 — Doble uso de la secuencia exacta de falsificación en T2. Realice una revisión de doble uso sobre la publicación de la secuencia exacta de falsificación del caudalímetro usada en T2.
  Mostrar criterios de evaluación

  Rúbrica: 3 = publicar clase+defensa; secuencia exacta de T2 solo mediante divulgación coordinada/fabricante; 2 = retener sin vía; 1 = publicar todo; 0 = nada.
• EX038 — Respuesta sobre la representatividad del banco de pruebas. Escriba una respuesta a un revisor ante «Los resultados del banco de pruebas no son representativos de plantas reales».
  Mostrar criterios de evaluación

  Rúbrica: 3 = acepta la diferencia, remite a las afirmaciones acotadas + umbrales congelados en T2 + riesgo residual; 2 = acepta sin remitir a la evidencia; 1 = desestima; 0 = nada.

Síntesis del capítulo

La crítica es un dato: convierta las objeciones en pruebas, deje que acoten la afirmación, publique las condiciones límite en un lugar destacado y revise el doble uso antes de enviar. La objeción más valiosa aquí convirtió una afirmación algorítmica en una arquitectónica.

Siga estudiando — capítulo 06 de 08

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