Capítulo 4 — Seguridad de TO, IoT y sistemas ciberfísicos: explicaciones rivales
Mapa de la lección
Lección 04 publicada. Mapa, ejemplo, EX021.
flowchart TD
N0["Resultados de aprendizaje y conexión"]
N1["4.1 Rivales para una ventaja del CUSUM"]
N2["4.2 Rival arquitectónica"]
N3["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3
N3 --> EX["Ejemplo resuelto"]
EX --> Q["Ejercicio EX021"]
Dibujo lógico
flowchart LR
N0["Resultados de aprendizaje y conexión"]
N1["4.1 Rivales para una ventaja del CUSUM"]
N2["4.2 Rival arquitectónica"]
N3["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> Q["EX021"]
[Resultados de aprendizaje y conexión]
|
v
[4.1 Rivales para una ventaja del CUSUM]
|
v
[4.2 Rival arquitectónica]
|
v
[Síntesis del capítulo]
|
v
[Ejemplo resuelto] --> [Ejercicio EX021]
Resultados de aprendizaje y conexión
Después de este capítulo usted podrá (1) enumerar explicaciones rivales para un resultado de detección, (2) diseñar observaciones que discriminen entre ellas y (3) revisar las afirmaciones cuando una rival sobrevive.
4.1 Rivales para una ventaja del CUSUM
(1) Umbrales ajustados con los datos de prueba. (2) Simulador demasiado limpio (sin sesgo de calibración). (3) Magnitud del ataque elegida para favorecer al CUSUM. (4) Alarma de banda configurada de forma inusualmente estrecha o amplia. (5) Evaluación con F1 con ajuste por puntos. Cada rival tiene una prueba: ajuste con semillas separadas, barridos de sesgo, barridos de ganancia, informar la tasa de falsas alarmas de la banda, informar métricas por eventos. Escriba las rivales antes de ver los resultados. Después de los resultados es demasiado fácil inventar solo las rivales que ya ha vencido. Entregue la lista a un colega que no haya visto el laboratorio 3 y pregúntele qué añadiría. Los ingenieros de control suelen añadir rivales sobre la estructura del modelo; los investigadores de seguridad suelen añadir rivales de adversario adaptativo. Ambas pertenecen a la lista, aunque el calendario de una maestría solo permita probarlas en parte.
4.2 Rival arquitectónica
Una rival más profunda: "el CUSUM solo funciona porque el caudalímetro es independiente; si ambos sensores comparten un PLC, el método falla". No es un factor de confusión que eliminar: es una condición de frontera que medir (clase B). Las rivales que sobreviven pasan a formar parte de la afirmación. Muchos artículos de TO entierran este tipo de resultado en un párrafo de limitaciones; los examinadores de maestría lo piden cada vez más en el resumen. Trate una frontera confirmada como un hallazgo: los defensores aprenden que las rutas de medición independientes son supuestos que sostienen el resultado.
La misma lógica se aplica en otros casos. Un diseño de segmentación que falla cuando las estaciones de ingeniería conservan rutas de escritura permanentes ha descubierto una frontera. Un filtro de protocolo que falla cuando el tráfico se tuneliza dentro de otro protocolo ha descubierto una frontera. Mídalas y colóquelas donde los lectores miran primero.
4.3 Ejemplo resuelto
Tras el laboratorio 3, las rivales (1) y (5) quedan atendidas por el diseño; la rival (2) necesita barridos de sesgo y del orificio al estilo del laboratorio 6; la rival (3) necesita un barrido de ganancia; la rival (4) se atiende informando las 11/80 ejecuciones con falsa alarma de la banda. La rival arquitectónica queda confirmada por clase B = 0/80. Escriba esta correspondencia como una tabla en el trabajo de fin de máster: rival, prueba, estado, evidencia. Las rivales probadas solo en parte, como el barrido de ganancia si falta tiempo, permanecen en la tabla marcadas como abiertas en lugar de desaparecer. La rival arquitectónica pasa del capítulo de limitaciones a los resultados, porque la clase B es un resultado medido, no una preocupación sin probar.
4.4 Errores comunes y límites
Enumerar rivales sin pruebas; tratar una frontera confirmada como un fracaso que ocultar. Una rival sin prueba es una preocupación, no parte del análisis. Cada una necesita una observación que saldría distinta si fuera cierta. Cuando una rival sobrevive, como la rival arquitectónica en la clase B, infórmela como un hallazgo con sus números. Ocultarla dejaría a los lectores creyendo que el método de residuos protege lazos en los que un solo dispositivo controla ambas mediciones. El resultado de la clase B es el ejemplo más claro de este estudio.
Ejercicios — capítulo 4
- EX021 — Cinco rivales para la segmentación por zonas. Escriba cinco rivales para "la segmentación por zonas reduce los ataques" y una prueba para cada una. Rúbrica: 3 = cinco rivales, cada una con una prueba; 2 = tres rivales con pruebas; 1 = rivales sin pruebas; 0 = nada.
- EX022 — Barrido de ganancia para el impacto al estilo de Urbina. Diseñe un barrido de ganancia que respaldaría o refutaría la rival (3); prediga el patrón si se cumple la acotación del impacto al estilo de Urbina. Rúbrica: 3 = diseño del barrido de ganancia + predicción del patrón al estilo de Urbina; 2 = barrido sin predicción; 1 = vago; 0 = nada.
- EX023 — Por qué el fallo de la clase B refuerza la tesis. Explique por qué el fallo de la clase B refuerza, en lugar de debilitar, una tesis cuidadosa. Rúbrica: 3 = el fallo de la clase B como límite caracterizado que afina las afirmaciones; 2 = "el fracaso es honestidad" sin vínculo con el límite; 1 = oculta el fallo; 0 = nada.
- EX024 — Rivales sin probar bajo F1 con ajuste por puntos. En un estudio que solo informa el F1 con ajuste por puntos, ¿qué rivales quedan sin probar? Rúbrica: 3 = enumera las rivales sin probar (retardo, FA, impacto, adversario consciente, etc.); 2 = dos rivales; 1 = una; 0 = nada.
- EX025 — Diagrama causal hasta el sobrellenado en el momento de la alarma. Escriba un diagrama causal (como una lista de viñetas de nodos y flechas) desde la capacidad del atacante hasta el sobrellenado en el momento de la alarma. Rúbrica: 3 = nodos/flechas desde capacidad→suplantación→residuo/banda→alarma→sobrellenado; 2 = nodos sin flechas; 1 = parcial; 0 = nada.
- EX026 — Control negativo para el CUSUM sobre el residuo. Proponga un control negativo: un ataque que no debería disparar el CUSUM sobre el residuo si la justificación es correcta. Rúbrica: 3 = ataque de control negativo que no debería disparar el residuo si se sostiene la justificación; 2 = control sin vínculo con la justificación; 1 = vago; 0 = nada.
Síntesis del capítulo
Las rivales con pruebas convierten una comparación en una contribución; las fronteras confirmadas pertenecen al resumen.
Siga estudiando — capítulo 04 de 08
← Capítulo 03 (borrador) · Índice de capítulos del curso · Capítulo 05 (borrador) →