lunar-attack-surface (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Lunar y cislunar. Consultivo: salida de análisis de una herramienta de investigación e ingeniería, no un equipo de navegación homologado ni un servicio de seguridad de la vida humana. Toda etiqueta de aquí es la del motor o la de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se gana una etiqueta: la sección Evidence del README).

Qué hace#

Superficie de ataque a la seguridad de señales de navegación en la superficie lunar (P1): compone los análisis abiertos de seguridad de señales en una única ejecución alcanzable desde el binario. Informa de (1) la potencia recibida de AFS y su SUPERÁVIT de potencia frente a una referencia terrestre de GPS, además de la banda de sensibilidad de 12-18 dB como un barrido genuino multieje sobre las entradas del enlace (nivel de referencia x EIRP x distancia oblicua) con la conciliación del factor lineal de 25x redondeado / 28x sin redondear. REVISADO (regla R4): esto informaba de un DÉFICIT de potencia de 15,6 dB y de un factor de 32x/36x hasta que se corrigió la referencia de GPS de -125 / -128.5 (que son las cifras en dBm) a -155 / -158.5 dBW, los valores del ICD-GPS-200 que el módulo de jamming siempre ha llevado. El signo se invierte: la señal AFS lunar modelada es 14,4 dB MÁS FUERTE que la de GPS L1 C/A terrestre, no más débil. La potencia recibida en sí no se movió ni un bit, y el factor lineal es el antiguo dividido exactamente por 1000, que es exactamente el desfase de 30 dB de dBm a dBW; (2) la potencia de transmisión que necesita el atacante para falsificar (J/S = 3 dB) y para denegar (J/S = 30 dB) a cada distancia de seguridad, la inversa del enlace J/S; (3) la huella de captura orbital bajo un patrón real de antena de apertura uniforme (Airy [2 J1(x)/x]^2), un casquete subhemisférico limitado por altitud cuyo limbo NO se captura; (4) un resultado calculado de enganche forzado de captura de falsificación del lazo de seguimiento (si un falsificador de código coincidente con una ventaja de potencia y un desfase de código dados arrastra realmente el DLL/PLL) en lugar del umbral afirmado de 3 dB; (5) el alcance del horizonte geométrico de un transmisor de superficie elevado en un cuerpo sin atmósfera; y (6) el presupuesto de autenticación OSNMA/TESLA (sobrecarga de 20 bit/s = ~40 % de un mensaje de navegación AFS de 50 bit/s, latencia de divulgación de clave, falsificación 2^-40). Un cuerpo vacío reproduce la línea base de P1; toda entrada tiene un valor por defecto y puede sobrescribirse. Los subresultados VALIDATED llevan la referencia independiente de su módulo de origen (radiometría en dB de forma cerrada; ida y vuelta de J/S inverso; patrón de Airy frente a Bessel de A&S y geometría de casquete esférico; enganche forzado de DLL/PLL frente a Kaplan & Hegarty; identidad de horizonte tangente esférico frente a eo_payload; dimensionado de campos del SIS-ICD de OSNMA). MODELLED: las magnitudes representativas de geometría/potencia y los valores concretos de las celdas del mapa de captura. No es un producto de seguridad certificado.

Una ejecución de scenarios/lunar-attack-surface.toml se resume así: lunar-attack-surface | AFS -140.6 dBW, superávit 14,4 dB (banda -17.9–-12.0, superávit 25×/28×) | falsificación@1000 m 0,000 W | huella 3% casquete, limbo falso | captura de falsificación true (enganche 0,00 s) | alcance de mástil 21,0 km | OSNMA 20 bit/s (40% de 50 bit/s), latencia de 30 s | barrido de huella 7x5 (alt 20-500 km x HPBW 1.83-29.20 deg), captura 0.6-42.9% | limbo NO alcanzado en esta cuadrícula (mejor -0.8 dB, 3,8 dB por debajo; necesita 19,8 dBW frente a 16,0 dBW)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale

El ejemplo scenarios/lunar-attack-surface.toml establece, entre otros:

Ejecútelo#

kshana scenarios/lunar-attack-surface.toml

Qué proporciona#

Los resultados escalares de esa ejecución, con las unidades que indica el motor:

Evidencias#

Ninguna fila de la matriz nombra este tipo de escenario por su nombre; la etiqueta de su resultado es la propia del motor, más arriba.

Las filas que la propia ejecución puso a prueba, con la referencia independiente que da la matriz a cada una (las fuentes públicas se nombran allí):

• MODELLED Balance de enlace J/S geométrico, C/N₀ antiinterferencia, pérdida de enganche por satélite. Referencia independiente (InternalConsistency): ecuación del balance de enlace de C/N₀ antiinterferencia contrastada con una rederivación independiente en numpy (comparte la misma forma cerrada → InternalConsistency) más una caracterización de la degradación de C/N₀ de JammerTest-2024 real. 0,30 ronda 2, bloqueado (sigue siendo MODELLED): no se ejecutó la comparación de la caída de C/N0 medida en JammerTest 2024 con una predicción del balance de enlace (preregistrada 6a66994b, dentro de 3 dB) porque la posición y el apuntamiento de la antena F8.1 en
• MODELLED Determinista, con hash de escenario, SBOM + barreras golden multiplataforma. Referencia independiente (ExternalDataset): ajuste a la norma del SBOM al esquema JSON oficial de CycloneDX 1,5 (+ identificadores SPDX válidos) — un estándar externo publicado, cero errores de validación en todo el grafo de dependencias; la parte de determinismo de FoM / reproducibilidad byte a byte sigue siendo una comprobación de autoconsistencia fijada, por lo que la fila sigue siendo MODELLED
• MODELLED Barrido de dos ejes de la huella de captura en superficie ponderada por el patrón y limitada por altitud sobre la altitud del transmisor y el diámetro del plato, emitida una fila por punto de operación. Referencia independiente (InternalConsistency): Inclusión de conjuntos: la razón interferente-señal entra como un desplazamiento uniforme en decibelios, de modo que el conjunto capturado a mayor potencia de transmisión contiene al conjunto capturado a una menor y la fracción solo puede aumentar; una propiedad que el patrón de Airy NO da en anchura de haz ni en altitud, donde la región capturada se rompe en anillos y la fracción es genuinamente no monótona. Ninguna tabla publicada da la fracción de disco capturado de un transmisor orbital lunar

Limitaciones#

Lo que el propio informe de la ejecución dice que no está modelado o no está validado:

• MODELLED: las magnitudes representativas de geometría/potencia y los valores concretos de las celdas del mapa de captura. (catálogo de tipos de escenario (kshana kinds --json))
• La resiliencia a la inhibición en entornos sin GNSS es MODELLED, no está validada: se comprueba frente a su propia identidad analítica o de forma cerrada — detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• La reproducibilidad y el aseguramiento del software son MODELLED, no están validados: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, por lo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• La huella de captura frente a la altitud y la anchura de haz es MODELLED, no validada: se comprueba frente a su propia identidad analítica o de forma cerrada, lo que detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Lunar y cislunar
• Todos los tipos de escenario: KINDS.md