lunar-attack-surface (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Kuu ja kuunläheinen avaruus. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Kuun pinnan navigoinnin signaaliturvallisuuden hyökkäyspinta (P1): kokoaa avoimet signaaliturvallisuusanalyysit yhdeksi binäärillä tavoitettavaksi ajoksi. Raportoi (1) AFS:n vastaanotetun tehon ja sen tehon YLIJÄÄMÄN maanpäällistä GPS-vertailua vastaan sekä 12-18 dB:n herkkyyskaistan aitona monen akselin pyyhkäisynä linkin syötteiden yli (vertailutaso x EIRP x vinoetäisyys) 25x-pyöristetyn / 28x-pyöristämättömän lineaarisen kertoimen täsmäytyksellä. KORJATTU (sääntö R4): tämä raportoi 15,6 dB:n tehon ALIJÄÄMÄN ja kertoimen 32x/36x, kunnes GPS-vertailu korjattiin arvoista -125 / -128.5 (jotka ovat dBm-lukuja) arvoihin -155 / -158.5 dBW, ICD-GPS-200-arvot, jotka häirintämoduuli on aina kantanut. Etumerkki kääntyy: mallinnettu Kuun AFS-signaali on 14,4 dB VAHVEMPI kuin maanpäällinen GPS L1 C/A, ei heikompi. Vastaanotettu teho itse ei liikahtanut bittiäkään, ja lineaarinen kerroin on vanha jaettuna täsmälleen luvulla 1000, joka on täsmälleen 30 dB:n dBm–dBW-siirtymä; (2) vaadittu hyökkääjän lähetysteho harhauttamiseen (J/S = 3 dB) ja kieltoon (J/S = 30 dB) kullakin etäisyydellä, J/S-linkin käänteisfunktio; (3) kiertoradalta tapahtuvan kaappauksen jalanjälki todellisella tasaisen aukon antennikuviolla (Airy [2 J1(x)/x]^2), korkeusrajoitettu puolipallon alapuolinen kalotti, jonka reunaa EI kaapata; (4) laskettu seurantasilmukan harhautuksen kaappauksen sisäänvetotulos (vetääkö vastaavan koodin harhauttaja tietyllä tehoedulla ja koodisiirtymällä todella DLL/PLL:ää) väitetyn 3 dB:n kynnyksen sijaan; (5) ilmattoman kappaleen geometrinen horisonttiulottuvuus korotetulle pintalähettimelle; ja (6) OSNMA/TESLA-todennusbudjetti (20 bit/s lisäkuorma = ~40 % 50 bit/s AFS-navigointiviestistä, avaimen julkistamisen viive, 2^-40 väärennös). Tyhjä runko toistaa P1-lähtötason; jokaisella syötteellä on oletus ja se voidaan ohittaa. VALIDATED osatulokset kantavat lähdemoduulinsa oraakkelin (suljetun muodon dB-radiometria; käänteinen J/S-kierros; Airy-kuvio vs A&S Bessel ja pallokalotin geometria; DLL/PLL-sisäänveto vs Kaplan & Hegarty; pallotangentin horisonttiidentiteetti vs eo_payload; OSNMA SIS-ICD -kenttien mitoitus). MODELLED: edustavat geometria- ja tehosuuruudet sekä kaappauskartan tietyt solujen arvot. Ei ole sertifioitu turvallisuustuote.

Yksi tiedoston scenarios/lunar-attack-surface.toml ajo tiivistyy seuraavasti: lunar-attack-surface | AFS -140.6 dBW, ylijäämä 14,4 dB (kaista -17.9–-12.0, 25×/28× ylijäämä) | harhautus@1000 m 0,000 W | jalanjälki 3% kalotti, reuna false | harhautuksen kaappaus true (lukitus 0,00 s) | mastoulottuvuus 21,0 km | OSNMA 20 bit/s (40% arvosta 50 bit/s), 30 s viive | jalanjäljen pyyhkäisy 7x5 (kork 20-500 km x HPBW 1.83-29.20 deg), kaappaus 0.6-42.9% | reunaa EI tavoitettu tässä ruudukossa (paras -0.8 dB, 3,8 dB vajaa; tarvitsee 19,8 dBW vs 16,0 dBW)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: 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

Esimerkki scenarios/lunar-attack-surface.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/lunar-attack-surface.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Todisteet#

Yksikään matriisin rivi ei nimeä tätä tyyppiä nimellä; sen tuloksen merkintä on moottorin oma, yllä.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• MODELLED Geometrinen J/S-linkkibudjetti, häirinnänkestävä C/N₀, satelliittikohtainen lukituksen menetys. Oraakkeli (InternalConsistency): Häirinnänkestävän C/N₀:n linkkibudjettiyhtälö ristiintarkistettuna riippumatonta numpy-uudelleenjohtoa vastaan (jakaa saman suljetun muodon → InternalConsistency) sekä todellinen JammerTest-2024-C/N₀-heikkenemisen luonnehdinta. 0,30 kierros 2, estetty (pysyy MODELLED): mitattua JammerTest 2024 C/N0-laskua ei ajettu linkkibudjettiennustetta vasten (ennakkorekisteröity 6a66994b, 3 dB:n sisällä), koska F8.1-antennin paikka ja suuntaus
• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• MODELLED Kaksiakselinen pyyhkäisy kuviopainotetulle, korkeusrajoitetulle pinnan kaappauksen jalanjäljelle lähettimen korkeuden ja lautasen halkaisijan yli, yksi rivi toimintapistettä kohden. Oraakkeli (InternalConsistency): Joukkoon sisältyminen: häirintä–signaali-suhde tulee mukaan tasaisena desibelisiirtymänä, joten suuremman lähetystehon kaapattu joukko sisältää pienemmän tehon joukon ja osuus voi vain kasvaa -- ominaisuus, jota Airy-kuvio EI anna keilanleveyden tai korkeuden suhteen, jossa kaapattu alue hajoaa renkaiksi ja osuus on aidosti ei-monotoninen. Mikään julkaistu taulukko ei anna Kuun kiertoradalla olevan lähettimen kaapatun kiekon osuutta

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED: edustavat geometria- ja tehosuuruudet sekä kaappauskartan tietyt solujen arvot. (tyyppiluettelo (kshana kinds --json))
• GNSS-estetyn ympäristön häirintäkestävyys (jamming) on MODELLED, ei validoitu: tarkistettu omaa suljetun muodon / analyyttistä identiteettiään vastaan — havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Kaappauksen jalanjälki korkeuden ja keilanleveyden funktiona on MODELLED, ei validoitu: tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vastaan, mikä paljastaa kirjoitus- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Kuu ja kuunläheinen avaruus
• Kaikki lajit: KINDS.md