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

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Superfície de ataque à segurança de sinais da navegação na superfície lunar (P1): compõe as análises abertas de segurança de sinais em uma única execução alcançável pelo binário. Informa (1) a potência recebida do AFS e o seu EXCEDENTE de potência em relação a uma referência GPS terrestre, além da faixa de sensibilidade de 12-18 dB como uma varredura genuína em vários eixos sobre as entradas do enlace (nível de referência x EIRP x distância oblíqua), com a reconciliação do fator linear de 25x arredondado / 28x não arredondado. REVISADO (regra R4): isto informava um DÉFICIT de potência de 15,6 dB e um fator de 32x/36x até que a referência GPS fosse corrigida de -125 / -128.5 (que são os valores em dBm) para -155 / -158.5 dBW, os valores do ICD-GPS-200 que o módulo de interferência sempre carregou. O sinal se inverte: o sinal lunar AFS 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 mudou nem um bit, e o fator linear é o antigo dividido por exatamente 1000, que é exatamente o deslocamento de 30 dB entre dBm e dBW; (2) a potência de transmissão exigida do atacante para falsificar (J/S = 3 dB) e para negar (J/S = 30 dB) em cada distância de afastamento, o inverso do enlace J/S; (3) a área de captura orbital sob um diagrama real de antena 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 entrada em captura de falsificação na malha de rastreamento (um falsificador de código casado, com dada vantagem de potência e dado deslocamento de código, realmente arrasta a DLL/PLL) em vez do limiar afirmado de 3 dB; (5) o alcance do horizonte geométrico de um transmissor elevado na superfície de um corpo sem atmosfera; 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 chave, falsificação de 2^-40). Um corpo vazio reproduz a linha de base P1; toda entrada tem valor padrão e pode ser substituída. Os subresultados VALIDATED carregam a referência independente do seu módulo de origem (radiometria em dB de forma fechada; ida e volta do J/S inverso; diagrama de Airy contra Bessel de A&S e geometria de calota esférica; entrada em captura de DLL/PLL contra Kaplan & Hegarty; identidade de horizonte tangente esférico contra eo_payload; dimensionamento dos campos do SIS-ICD do OSNMA). MODELLED: as magnitudes representativas de geometria e 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, surplus 14,4 dB (band -17.9–-12.0, 25×/28× surplus) | spoof@1000 m 0,000 W | footprint 3% cap, limb false | spoof-capture true (lock 0,00 s) | mast reach 21,0 km | OSNMA 20 bit/s (40% of 50 bit/s), 30 s latency | footprint sweep 7x5 (alt 20-500 km x HPBW 1.83-29.20 deg), capture 0.6-42.9% | limb NOT reached on this grid (best -0.8 dB, 3,8 dB short; needs 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#

kshana scenarios/lunar-attack-surface.toml

O que ele fornece#

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

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 são nomeadas ali):

• 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 (compartilha a mesma forma fechada → InternalConsistency) mais uma caracterização real da degradação de C/N₀ do JammerTest-2024. 0,30 rodada 2, bloqueado (permanece MODELLED): a queda de C/N0 medida no JammerTest 2024 contra uma previsão do orçamento de enlace (pré-registrada 6a66994b, dentro de 3 dB) não foi executada porque a posição e o apontamento da antena F8.1 em
• MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
• MODELLED Varredura em dois eixos da área de captura na 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 operação po. Referência independente (InternalConsistency): inclusão de conjuntos: a razão interferidor-sinal entra como um deslocamento uniforme em decibéis, de modo que o conjunto capturado com maior potência de transmissão contém o conjunto com menor potência e a fração só pode aumentar -- uma propriedade que o diagrama de Airy NÃO fornece em largura de feixe ou altitude, onde a região capturada se rompe em anéis e a fração é genuinamente não monótona. Nenhuma tabela publicada fornece 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 é modelado ou não é validado:

• MODELLED: as magnitudes representativas de geometria e 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 — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A área de captura em função da altitude e da largura de feixe é MODELLED, não validada: verificada contra a sua própria identidade analítica ou de forma fechada, o que detecta erros de transcrição e de coeficientes, mas não é uma referência externa independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

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