Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/spoof.md

spoof (scenariotyp)

Scenariotyp i motorn v0.40.0, familj Jamming, spoofing och spektrum. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en tjänst för skydd av människoliv. Varje etikett här är motorns eller verifieringsmatrisens; en kind är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidence i README).

Vad den gör#

Stokastisk detektor för tidsspoofing (Neyman–Pearson / χ²₁) med Monte Carlo-beräknade P_fa/P_md.

En körning av scenarios/spoof-attack.toml sammanfattas som: scenario 2b6bd22c3b80 | spoof LinearRamp { rate_ns_per_s: 0,1 } mot 20,000 ns specifikation (P_fa 0,010) | kvantsäkerhet 1,000 (P_md 0,000, MC 0,000) upptäckt 70s | klassisk säkerhet 0,558 (P_md 0,442, MC 0,444) upptäckt 430s

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: threshold_ns, time, attack, clock_quantum, clock_classical
  • Valfria fält: inga

Exemplet scenarios/spoof-attack.toml anger bland annat:

Fält Värde Enhet
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-datablad sigma_y(1s)=3e-10; q_ text
clock_classical.q_rw 0 inte angivet
clock_classical.q_wf 9.0000e-20 inte angivet
clock_classical.y0 5.0000e-10 inte angivet
clock_quantum.id optical-sr-lattice text
clock_quantum.provenance Optisk gitterklocka med strontium, rymdinriktat mål sigma_y text
clock_quantum.q_rw 0 inte angivet
clock_quantum.q_wf 1.0000e-30 inte angivet
clock_quantum.y0 5.0000e-17 inte angivet

Kör den#

kshana scenarios/spoof-attack.toml

2 medföljande scenarier använder den här typen; de övriga finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
classical.breaches_spec_undetected true flagga
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 antal
classical.detection.monitor_sigma_ns 7.348481 ns
classical.detection.target_pfa 0.01 1
Diagrammet som motorn skriver för scenarios/spoof-attack.toml, typ spoof

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

  • MODELLED Klockstödd χ², RAIM, AGC, SQM sammanfogade till ett säkerhetskvalitetsmått per epok. Tester: spoof_texbat_validation.rs.
  • MODELLED Typens leo-pass sektion [spoofer]: en spoofer förfalskar, självkonsistent i avstånd och avståndshastighet, de signaler som syns vid en påstådd position som hoppar och/eller förskjuts från den verkliga efter ett insättande (per LEO-band och för MEO Tester: leo_resilience_verticals.rs.
  • MODELLED För varje LEO-satellit och par av avståndsbestämmande band bildar sektionen [spoofer] den geometrifria pseudoavståndskombinationen, tar bort mottagarens jonosfärsmodell och testar dess steg från epok till epok mot de två bandens kodbrus och en st Tester: leo_resilience_verticals.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Klockstödd χ², RAIM, AGC, SQM sammanslagen säkerhets-FoM per epok. Oberoende referens (ExternalDataset): TEXBAT-scenarioparametrar (Humphreys 2012) — karakterisering, inte fastlåsta vektorer. 0,30 extern jämförelse, ett fynd (förblir MODELLED): på JammerTest 2024 (Bleik; GPL-3.0-data) gav monitorerna på observabelnivå (klockstött chi-kvadrat, RAIM, lösningsfel) inget larm inom 10 s för något av de 8 utvärderbara publicerade spoofing-inledningarna (där fönstret före inledningen var rent kom det första larmet 10,2 till 39 s efter pu
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Spoofing-detektion är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#