Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/spoof.md

spoof (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Jamming, spoofing and the spectrum. Hinweis (beratend): Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Safety-of-Life-Dienst. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Szenarioart ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung erworben wird: der Abschnitt Evidence der README).

Was es tut#

Stochastischer Zeit-Spoof-Detektor (Neyman–Pearson / χ²₁) mit Monte-Carlo-P_fa/P_md.

Ein Lauf von scenarios/spoof-attack.toml fasst sich zusammen als: Szenario 2b6bd22c3b80 | Spoof LinearRamp { rate_ns_per_s: 0,1 } gegen 20,000 ns Spez. (P_fa 0,010) | Quantensicherheit 1,000 (P_md 0,000, MC 0,000) erkannt 70s | klassische Sicherheit 0,558 (P_md 0,442, MC 0,444) erkannt 430s

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Erforderliche Felder: threshold_ns, time, attack, clock_quantum, clock_classical
  • Optionale Felder: keine

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

Feld Wert Einheit
attack.rate_ns_per_s 0.1 s
attack.start_s 60 s
clock_classical.id csac-sa45s Text
clock_classical.provenance Microchip SA65 / SA.45s CSAC Datenblatt sigma_y(1s)=3e-10; q_ Text
clock_classical.q_rw 0 nicht angegeben
clock_classical.q_wf 9.0000e-20 nicht angegeben
clock_classical.y0 5.0000e-10 nicht angegeben
clock_quantum.id optical-sr-lattice Text
clock_quantum.provenance Optische Strontium-Gitteruhr, weltraumtaugliches Ziel sigma_y Text
clock_quantum.q_rw 0 nicht angegeben
clock_quantum.q_wf 1.0000e-30 nicht angegeben
clock_quantum.y0 5.0000e-17 nicht angegeben

Ausführen#

kshana scenarios/spoof-attack.toml

2 mitgelieferte Szenarien verwenden diese Art; die anderen sind in scenarios/.

Was es liefert#

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

Ergebnis Wert Einheit
classical.breaches_spec_undetected true Flag
classical.detect_time_s 430 s
classical.detection.analytic_pmd 0.442031 1
classical.detection.boundary_ns 18.928432 ns
classical.detection.eval_offset_ns 20 ns
classical.detection.mc_pfa 0.0088 1
classical.detection.mc_pmd 0.4439 1
classical.detection.mc_runs 10000 Anzahl
classical.detection.monitor_sigma_ns 7.348481 ns
classical.detection.target_pfa 0.01 1
Das Diagramm, das die Engine für scenarios/spoof-attack.toml schreibt, Szenarioart spoof

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • MODELLED Uhrengestütztes χ², RAIM, AGC, SQM, fusionierte Sicherheitsgütezahl pro Epoche Tests: spoof_texbat_validation.rs.
  • MODELLED Der Abschnitt [spoofer] der Szenarioart leo-pass: Ein Spoofer fälscht, in Entfernung und Entfernungsrate in sich konsistent, die Signale, die an einer behaupteten Position zu sehen sind, die nach einem Beginn von der wahren springt und/oder von ihr weggeschoben wird (pro LEO-Band und für das MEO Tests: leo_resilience_verticals.rs.
  • MODELLED Für jeden LEO-Satelliten und jedes Paar von Entfernungsmessbändern bildet der Abschnitt [spoofer] die geometriefreie Pseudoentfernungskombination, entfernt das Ionosphärenmodell des Empfängers und testet ihren Epoche-zu-Epoche-Schritt gegen das Codenrauschen der beiden Bänder und ein st Tests: leo_resilience_verticals.rs.

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 Uhrengestütztes χ², RAIM, AGC, SQM, fusioniert zu einer Sicherheits-Gütezahl je Epoche. Unabhängige Referenz (ExternalDataset): TEXBAT-Szenarioparameter (Humphreys 2012) – Charakterisierung, keine festgelegten Vektoren. 0,30 externer Vergleich, ein Befund (bleibt MODELLED): bei JammerTest 2024 (Bleik; GPL-3.0-Daten) lösten die Monitore auf Beobachtungsebene (uhrengestütztes Chi-Quadrat, RAIM, Lösungsausfall) innerhalb von 10 s bei keinem der 8 auswertbaren veröffentlichten Spoofing-Einsätze Alarm aus (wo das Fenster vor dem Einsatz sauber war, kam der erste Alarm 10,2 bis 39 s nach dem pu
  • 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

Einschränkungen#

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

  • Spoofing-Erkennung ist MODELLED, nicht validiert: eine Teilaussage 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))
  • 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))

Siehe auch#