lunar-attack-surface (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: resultado de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED salvo indicação em contrário da matriz (como se obtém um rótulo: a secção Evidence do README).

O que faz#

Superfície de ataque à segurança dos sinais de navegação à superfície lunar (P1): compõe as análises abertas de segurança de sinais numa única execução acessível por binário. Indica (1) a potência recebida do AFS e o seu EXCEDENTE de potência face a uma referência GPS terrestre, bem como a banda de sensibilidade de 12-18 dB, como uma verdadeira varredura multieixo sobre as entradas da ligação (nível de referência x EIRP x distância oblíqua), com a reconciliação dos fatores lineares de 25x arredondado / 28x não arredondado. REVISTO (regra R4): isto indicava um DÉFICE de potência de 15,6 dB e um fator de 32x/36x até a referência GPS ser corrigida de -125 / -128.5 (que são os valores em dBm) para -155 / -158.5 dBW, os valores da ICD-GPS-200 que o módulo de jamming sempre usou. O sinal inverte-se: o sinal AFS lunar modelado é 14,4 dB MAIS FORTE do que o GPS L1 C/A terrestre, não mais fraco. A própria potência recebida não se alterou um único bit, e o fator linear é o antigo dividido por exatamente 1000, que é exatamente o desvio de 30 dB entre dBm e dBW; (2) a potência de transmissão exigida ao atacante para falsificar (J/S = 3 dB) e para negar (J/S = 30 dB) a cada distância de afastamento, o inverso da ligação J/S; (3) a pegada orbital de captura sob um diagrama de antena real de abertura uniforme (Airy [2 J1(x)/x]^2), uma calota sub-hemisférica limitada pela altitude cujo limbo NÃO é capturado; (4) um resultado calculado de atracão por captura de spoofing no laço de seguimento (um spoofer de código adaptado, com uma dada vantagem de potência e desvio de código, arrasta efetivamente o DLL/PLL?) em vez do limiar afirmado de 3 dB; (5) o alcance do horizonte geométrico de um corpo sem atmosfera para um transmissor de superfície elevado; e (6) o orçamento de autenticação OSNMA/TESLA (20 bit/s de sobrecarga = ~40 % de uma mensagem de navegação AFS de 50 bit/s, latência de divulgação de chaves, falsificação de 2^-40). Um corpo vazio reproduz a linha de base P1; todas as entradas têm valor predefinido e podem ser substituídas. Os subresultados VALIDATED trazem a referência independente do respetivo módulo de origem (radiometria em dB de forma fechada; ida e volta do J/S inverso; diagrama de Airy face a Bessel de A&S e à geometria da calota esférica; atracão DLL/PLL face a Kaplan & Hegarty; identidade do horizonte tangente esférico face a eo_payload; dimensionamento de campos do ICD de SIS do OSNMA). MODELLED: as magnitudes representativas de geometria/potência e os valores específicos das células do mapa de captura. Não é um produto de segurança certificado.

Uma execução de scenarios/lunar-attack-surface.toml resume-se assim: lunar-attack-surface | AFS -140.6 dBW, excedente de 14,4 dB (banda -17.9–-12.0, excedente de 25×/28×) | spoof@1000 m 0,000 W | pegada de 3% de calota, limbo falso | captura por spoofing verdadeira (bloqueio 0,00 s) | alcance do mastro 21,0 km | OSNMA 20 bit/s (40% de 50 bit/s), latência de 30 s | varredura da pegada 7x5 (alt 20-500 km x HPBW 1.83-29.20 graus), captura 0.6-42.9% | limbo NÃO alcançado nesta grelha (melhor -0.8 dB, 3,8 dB aquém; precisa de 19,8 dBW vs 16,0 dBW)

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: nenhum
• Campos opcionais: 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

O exemplo scenarios/lunar-attack-surface.toml define, entre outros:

Execute-o#

kshana scenarios/lunar-attack-surface.toml

O que dá#

Os resultados escalares dessa execução, com as unidades que o motor indica:

Evidências#

Nenhuma linha da matriz nomeia este tipo de cenário pelo nome; o rótulo do seu resultado é o do próprio motor, acima.

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas estão aí nomeadas):

• MODELLED Orçamento de enlace de J/S geométrico, C/N₀ antijamming, perda de sincronismo por satélite. Referência independente (InternalConsistency): Equação do orçamento de enlace de C/N₀ antijamming conferida contra uma nova derivação independente em numpy (partilha a mesma forma fechada → InternalConsistency) mais uma caracterização real da degradação de C/N₀ do JammerTest-2024. 0,30 ronda 2, bloqueado (permanece MODELLED): a queda de C/N0 medida no JammerTest 2024 contra uma previsão do orçamento de enlace (pré-registada 6a66994b, dentro de 3 dB) não foi executada porque a posição e o apontamento da antena F8.1 em
• MODELLED Determinista, com hash do cenário, SBOM + portões de referência multiplataforma. Referência independente (ExternalDataset): aderência à norma do SBOM ao esquema JSON oficial CycloneDX 1,5 (+ identificadores SPDX válidos) — uma norma externa publicada, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoM / reprodutibilidade byte a byte permanece uma verificação de autoconsistência fixada, pelo que a linha permanece MODELLED
• MODELLED Varredura de dois eixos da pegada de captura à superfície, ponderada pelo diagrama e limitada pela altitude, sobre a altitude do transmissor e o diâmetro do prato, emitida uma linha por ponto de funcionamento. Referência independente (InternalConsistency): Inclusão de conjuntos: a razão sinal-interferência entra como um desvio uniforme em decibéis, pelo que o conjunto capturado a uma potência de transmissão mais alta contém o conjunto a uma mais baixa e a fração só pode aumentar -- uma propriedade que o diagrama de Airy NÃO dá em largura de feixe nem em altitude, onde a região capturada se parte em anéis e a fração é genuinamente não monótona. Nenhuma tabela publicada dá a fração de disco capturada de um transmissor orbital lunar

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está validado:

• MODELLED: as magnitudes representativas de geometria/potência e os valores específicos das células do mapa de captura. (catálogo de tipos de cenário (kshana kinds --json))
• A resiliência a jamming em ambientes sem GNSS é MODELLED, não validada: verificada contra a sua própria identidade analítica / de forma fechada — deteta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A reprodutibilidade e a garantia de software são MODELLED, não validadas: uma subafirmação é verificada externamente, mas a capacidade no seu conjunto compõe partes modeladas, pelo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A pegada de captura em função da altitude e da largura de feixe é MODELLED, não validada: verificada face à sua própria identidade analítica de forma fechada, deteta erros de transcrição e de coeficientes, mas não é uma referência independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Lunar e cislunar
• Todos os tipos: KINDS.md