lunar-attack-surface (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Przestrzeń księżycowa i cislunarna. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Powierzchnia ataku na sygnał nawigacji powierzchniowej Księżyca (P1): składa otwarte analizy bezpieczeństwa sygnału w jeden przebieg osiągalny z poziomu binarium. Podaje (1) moc odbieraną AFS i jej NADWYŻKĘ mocy względem naziemnego odniesienia GPS, a także pasmo czułości 12-18 dB jako prawdziwy wieloosiowy przegląd danych wejściowych łącza (poziom odniesienia x EIRP x odległość skośna) z uzgodnieniem współczynnika liniowego 25x po zaokrągleniu / 28x bez zaokrąglenia. ZMIENIONE (reguła R4): raportowało to DEFICYT mocy 15,6 dB i współczynnik 32x/36x, dopóki odniesienie GPS nie zostało poprawione z -125 / -128.5 (to wartości w dBm) na -155 / -158.5 dBW, wartości z ICD-GPS-200, które moduł zakłócania zawsze zawierał. Znak się odwraca: modelowany księżycowy sygnał AFS jest o 14,4 dB SILNIEJSZY niż naziemny GPS L1 C/A, a nie słabszy. Sama moc odbierana nie zmieniła się ani o bit, a współczynnik liniowy to dawny współczynnik podzielony przez dokładnie 1000, czyli dokładnie przesunięcie 30 dB między dBm a dBW; (2) wymagana moc nadawania atakującego do spoofingu (J/S = 3 dB) i do odmowy (J/S = 30 dB) przy każdej odległości, odwrotność łącza J/S; (3) orbitalny obszar przechwycenia przy rzeczywistej charakterystyce anteny o jednostajnej aperturze (Airy [2 J1(x)/x]^2), ograniczona wysokością czasza podpółkulista, której brzeg NIE jest przechwytywany; (4) obliczony wynik wciągnięcia pętli śledzenia w przechwycenie przez spoofing (czy spoofer z dopasowanym kodem przy danej przewadze mocy i przesunięciu kodu rzeczywiście przeciąga DLL/PLL), a nie zakładany próg 3 dB; (5) geometryczny zasięg horyzontu nadajnika powierzchniowego wzniesionego nad powierzchnią ciała bez atmosfery; oraz (6) budżet uwierzytelniania OSNMA/TESLA (narzut 20 bit/s = ~40 % komunikatu nawigacyjnego AFS o szybkości 50 bit/s, opóźnienie ujawnienia klucza, fałszerstwo 2^-40). Puste ciało odtwarza punkt odniesienia P1; każda dana wejściowa ma wartość domyślną i można ją nadpisać. Wyniki częściowe VALIDATED niosą wyrocznię swojego modułu źródłowego (radiometria w dB w postaci zamkniętej; test odwrotny J/S w obie strony; charakterystyka Airy względem funkcji Bessela z A&S i geometrii czaszy kulistej; tożsamość horyzontu stycznego do sfery względem eo_payload; wymiarowanie pól OSNMA SIS-ICD). MODELLED: reprezentatywne rzędy wielkości geometrii i mocy oraz konkretne wartości komórek mapy przechwycenia. Nie jest to certyfikowany produkt bezpieczeństwa.

Jeden przebieg scenarios/lunar-attack-surface.toml podsumowuje się tak: lunar-attack-surface | AFS -140.6 dBW, nadwyżka 14,4 dB (pasmo -17.9–-12.0, nadwyżka 25×/28×) | spoof@1000 m 0,000 W | obszar 3% czaszy, brzeg false | spoof-capture true (zaczep 0,00 s) | zasięg masztu 21,0 km | OSNMA 20 bit/s (40% z 50 bit/s), opóźnienie 30 s | przegląd obszaru 7x5 (wys. 20-500 km x HPBW 1.83-29.20 deg), przechwycenie 0.6-42.9% | brzeg NIE osiągnięty na tej siatce (najlepiej -0.8 dB, brakuje 3,8 dB; potrzeba 19,8 dBW wobec 16,0 dBW)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: 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

Przykład scenarios/lunar-attack-surface.toml ustawia między innymi:

Uruchom#

kshana scenarios/lunar-attack-surface.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Dowody#

Żaden wiersz macierzy nie wymienia tego rodzaju po nazwie; etykieta na jego wyniku jest własną etykietą silnika, powyżej.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

• MODELLED Bilans łącza J/S wynikający z geometrii, C/N₀ przy zagłuszaniu, utrata śledzenia dla każdego satelity. Wyrocznia (InternalConsistency): Równanie bilansu łącza C/N₀ przy zagłuszaniu sprawdzone krzyżowo z niezależnym ponownym wyprowadzeniem w numpy (ta sama postać zamknięta → InternalConsistency) oraz charakteryzacja spadku C/N₀ w rzeczywistym JammerTest-2024. 0,30 runda 2, zablokowane (pozostaje MODELLED): zmierzony spadek C/N0 w JammerTest 2024 względem prognozy z bilansu łącza (zarejestrowanej z góry 6a66994b, w granicach 3 dB) nie został wykonany, ponieważ położenie i skierowanie anteny F8.1 przy
• MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
• MODELLED Dwuosiowy przegląd ważonego charakterystyką, ograniczonego wysokością obszaru przechwycenia powierzchni względem wysokości nadajnika i średnicy czaszy, emitowany po jednym wierszu na punkt pracy. Wyrocznia (InternalConsistency): Zawieranie zbiorów: stosunek zakłócenia do sygnału wchodzi jako jednostajne przesunięcie w decybelach, więc zbiór przechwycony przy wyższej mocy nadawania zawiera zbiór przy niższej, a ułamek może tylko rosnąć -- właściwość, której charakterystyka Airy NIE zapewnia w szerokości wiązki ani wysokości, gdzie obszar przechwycony rozpada się na pierścienie, a ułamek jest naprawdę niemonotoniczny. Żadna opublikowana tabela nie podaje przechwyconego ułamka tarczy księżycowego nadajnika orbitalnego

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

• MODELLED: reprezentatywne rzędy wielkości geometrii i mocy oraz konkretne wartości komórek mapy przechwycenia. (katalog rodzajów (kshana kinds --json))
• Odporność na zagłuszanie przy braku GNSS jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: sprawdzona względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
• Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
• Obszar przechwycenia w funkcji wysokości i szerokości wiązki ma poziom MODELLED, nie jest niezależnie sprawdzony względem wzorca zewnętrznego: sprawdzono go względem jego własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Przestrzeń księżycowa i cislunarna
• Wszystkie rodzaje: KINDS.md