lunar-attack-surface (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Angriffsfläche der Signalsicherheit für die Oberflächennavigation auf dem Mond (P1): fasst die offenen Signalsicherheitsanalysen zu einem über die Binärdatei erreichbaren Lauf zusammen. Berichtet (1) die empfangene AFS-Leistung und ihren Leistungs-ÜBERSCHUSS gegenüber einer terrestrischen GPS-Referenz, dazu das Empfindlichkeitsband von 12-18 dB als echten mehrachsigen Sweep über die Streckeneingaben (Referenzpegel x EIRP x Schrägentfernung) mit dem Abgleich der linearen Faktoren 25x gerundet / 28x ungerundet. ÜBERARBEITET (Regel R4): Dieser Bericht wies ein Leistungs-DEFIZIT von 15,6 dB und einen Faktor von 32x/36x aus, bis die GPS-Referenz von -125 / -128.5 (das sind die dBm-Werte) auf -155 / -158.5 dBW korrigiert wurde, die Werte aus ICD-GPS-200, die das Jamming-Modul schon immer geführt hat. Das Vorzeichen kehrt sich um: Das modellierte AFS-Signal des Mondes ist 14,4 dB STÄRKER als terrestrisches GPS L1 C/A, nicht schwächer. Die empfangene Leistung selbst hat sich um kein Bit bewegt, und der lineare Faktor ist der alte, geteilt durch genau 1000, und das ist genau der Versatz von 30 dB zwischen dBm und dBW; (2) die erforderliche Sendeleistung des Angreifers zum Spoofen (J/S = 3 dB) und zum Verweigern (J/S = 30 dB) bei jedem Abstand, die Umkehrung der J/S-Strecke; (3) der orbitale Erfassungsfußabdruck unter einem realen Antennendiagramm einer gleichförmigen Apertur (Airy [2 J1(x)/x]^2), eine höhenbegrenzte, subhemisphärische Kappe, deren Rand NICHT erfasst wird; (4) ein berechnetes Ergebnis des Spoof-Capture-Pull-in der Tracking-Schleife (zieht ein Spoofer mit passendem Code bei gegebenem Leistungsvorteil und Codeversatz die DLL/PLL tatsächlich mit) statt der behaupteten Schwelle von 3 dB; (5) die geometrische Horizontreichweite eines erhöhten Oberflächensenders auf einem Körper ohne Atmosphäre; und (6) das Authentifizierungsbudget von OSNMA/TESLA (20 bit/s Overhead = ~40 % einer AFS-Navigationsnachricht mit 50 bit/s, Latenz der Schlüsselfreigabe, 2^-40 Fälschung). Ein leerer Rumpf reproduziert die P1-Basislinie; jede Eingabe hat einen Standardwert und ist überschreibbar. Teilergebnisse der Stufe VALIDATED tragen die unabhängige Referenz ihres Quellmoduls (geschlossene dB-Radiometrie; J/S-Umkehr im Rundlauf; Airy-Diagramm gegen A&S-Bessel und Kugelkappengeometrie; DLL/PLL-Pull-in gegen Kaplan & Hegarty; Identität des sphärischen Tangentenhorizonts gegen eo_payload; Feldgrößen nach OSNMA SIS-ICD). MODELLED: die repräsentativen Geometrie- und Leistungsgrößen und die konkreten Werte der Zellen der Capture-Map. Kein zertifiziertes Sicherheitsprodukt.

Ein Lauf von scenarios/lunar-attack-surface.toml fasst sich so zusammen: lunar-attack-surface | AFS -140.6 dBW, Überschuss 14,4 dB (Band -17.9–-12.0, 25×/28× Überschuss) | Spoof@1000 m 0,000 W | Fußabdruck 3% Kappe, Rand falsch | Spoof-Erfassung wahr (Lock 0,00 s) | Mastreichweite 21,0 km | OSNMA 20 bit/s (40% von 50 bit/s), 30 s Latenz | Fußabdruck-Sweep 7x5 (Höhe 20-500 km x HPBW 1.83-29.20 deg), Erfassung 0.6-42.9% | Rand auf diesem Raster NICHT erreicht (bester -0.8 dB, 3,8 dB zu wenig; benötigt 19,8 dBW gegenüber 16,0 dBW)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: 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

Das Beispiel scenarios/lunar-attack-surface.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-attack-surface.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Nachweise#

Keine Matrixzeile nennt diesen Typ beim Namen; die Kennzeichnung seines Ergebnisses stammt von der Engine selbst, siehe oben.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Geometrisches J/S-Link-Budget, Anti-Jam-C/N₀, Lock-Verlust je Satellit. Unabhängige Referenz (InternalConsistency): Anti-Jam-C/N₀-Link-Budget-Gleichung, gegen eine unabhängige numpy-Neuherleitung gegengeprüft (teilt dieselbe geschlossene Form → InternalConsistency), plus eine Charakterisierung der C/N₀-Verschlechterung mit realen JammerTest-2024-Daten. 0,30 Runde 2, blockiert (bleibt MODELLED): der gemessene C/N0-Abfall von JammerTest 2024 gegen eine Link-Budget-Vorhersage (vorab registriert 6a66994b, innerhalb von 3 dB) wurde nicht ausgeführt, weil die Antennenposition und -ausrichtung F8.1 bei
• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• MODELLED Zweiachsiger Sweep des diagrammgewichteten, höhenbegrenzten Erfassungsfußabdrucks auf der Oberfläche über Senderhöhe und Schüsseldurchmesser, ausgegeben als eine Zeile je Betriebspunkt. Referenz (InternalConsistency): Mengeninklusion: Das Verhältnis von Störer zu Signal geht als gleichmäßiger Dezibel-Versatz ein, daher enthält die erfasste Menge bei höherer Sendeleistung die Menge bei niedrigerer, und der Anteil kann nur steigen -- eine Eigenschaft, die das Airy-Diagramm in Strahlbreite oder Höhe NICHT liefert, wo das erfasste Gebiet in Ringe zerfällt und der Anteil tatsächlich nicht monoton ist. Keine veröffentlichte Tabelle gibt den erfassten Scheibenanteil eines lunaren Orbitalsenders an

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• MODELLED: die repräsentativen Geometrie- und Leistungsgrößen und die konkreten Zellenwerte der Erfassungskarte. (Katalog der Arten (kshana kinds --json))
• Jamming-Resilienz bei GNSS-Ausfall ist MODELLED, nicht validiert: gegen die eigene geschlossene bzw. analytische Identität geprüft — fängt Transkriptions- und Koeffizientenfehler ab, ist aber keine unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Der Erfassungsfußabdruck über Höhe und Strahlbreite ist MODELLED, nicht validiert: Er wird gegen seine eigene geschlossene bzw. analytische Identität geprüft – das findet Übertragungs- und Koeffizientenfehler, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md