Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

TemporizaciónEditar en GitHubFuente: docs/DECEIVED-TIME.md

Un comando firmado aplicado en un tiempo engañado sigue encaminándose mal

Una nota técnica para operadores de redes indexadas en el tiempo: constelaciones que encaminan, asignan tareas o traspasan según una planificación, donde cada nodo actúa cuando su propio reloj alcanza un instante programado.

Abreviaturas: GNSS, sistema global de navegación por satélite; TPL, nivel de protección de temporización; PNT, posicionamiento, navegación y temporización.

La afirmación#

Autenticar los mensajes de control, también con firmas poscuánticas, demuestra quién envió un mensaje y que no fue alterado. No demuestra cuándo actúa el receptor sobre él. Un nodo ejecuta un comando indexado en el tiempo frente a su propio reloj. Si ese reloj ha sido desplazado en δ, un comando válido para el instante T se ejecuta en el tiempo verdadero T + δ, con todas las firmas intactas. Cuando |δ| supera la guarda de la ranura, el tráfico cae en la ranura equivocada, un enlace conmuta mientras el otro extremo sigue apuntando a otro lugar o un traspaso se produce antes de tiempo. La red encamina mal, y todas las comprobaciones de integridad de la ruta del comando informan de éxito.

Por qué el reloj es el blanco fácil#

  • El tiempo GNSS es la referencia habitual, y se puede suplantar. Un nodo que disciplina su reloj con el GNSS hereda cualquier hora que sirva el receptor. Un suplantador que mantenga en verde los propios indicadores de calidad del receptor puede desplazar esa hora poco a poco.
  • Las comprobaciones de frescura usan el mismo reloj. Una ventana de validez («acepte este comando hasta T + w») o un contador anti-repetición vinculado al tiempo se juzga frente al reloj local, de modo que un reloj desplazado también puede ensanchar la ventana en la que se acepta un comando firmado capturado.
  • El ataque no necesita ninguna clave. No se toca nada del canal firmado. Una criptografía más fuerte eleva el coste de falsificar un comando y deja este coste sin cambios.

Esto se sitúa junto al trabajo poscuántico, no frente a él: los dos cierran agujeros distintos. Las firmas detienen un comando falsificado. La integridad del tiempo impide que un comando genuino se ejecute en el momento equivocado.

Qué lo acota#

Cuatro medidas, cada una cuantificada por el tipo de escenario slot-timing (SLOT-TIMING.md):

  1. Un monitor asistido por reloj. Compare la hora GNSS con el propio reloj del nodo en marcha libre durante una ventana, y dé alarma cuando la diferencia sea demasiado grande para ser ruido del reloj. El TPL condicional acota el error que puede pasar inadvertido antes de la alarma.
  2. Comprobaciones independientes, programadas. Una transferencia bidireccional de tiempo con una estación terrestre o una comparación por enlace cruzado con un vecino fuera del alcance del suplantador limita cuánto puede durar un desplazamiento lento. Su intervalo de revisita es un parámetro de seguridad, no solo de operación.
  3. Geometría. Un suplantador terrestre solo alcanza un satélite de órbita terrestre baja mientras este está por encima del horizonte del suplantador, de modo que el desplazamiento queda limitado por la velocidad de rampa del suplantador multiplicada por esa ventana. En aritmética: una rampa de 10 ns/s mantenida durante 600 s son 6 µs. El ejemplo incluido (kshana example slot-timing-ocxo-leo: órbita de 550 km, rampa máxima de 10 ns/s) notifica una exposición al suplantador de 732 s y un desplazamiento limitado por la rampa de 7.321 ns.
  4. Una guarda dimensionada a partir de la cota, y una acción segura ante la alarma. La guarda de la ranura debe cubrir el mayor error no detectado que permitan el monitor y las comprobaciones, no solo el ruido de marcha libre del reloj. Ante una alarma, un nodo debe mantener su última planificación buena en su reloj en marcha libre en lugar de seguir al GNSS.

Lo que esta nota no afirma#

No afirma que se haya observado un satélite suplantado encaminando mal; no estima la exposición de ningún operador; y las cotas a las que remite son MODELLED, condicionadas a la detección y a los supuestos de amenaza indicados. Argumenta una composición: una firma válida y un tiempo de ejecución correcto son propiedades separadas, y una red indexada en el tiempo necesita ambas.