Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/spoof-detect.md

spoof-detect (scenariotype)

Scenariotype i motoren v0.40.0, familie Jamming, spoofing og spekteret. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her kommer fra motoren eller verifikasjonsmatrisen; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Kombinert spoofingdetektor for RF og målinger (RAIM-konsistens over flere SV + AGC + SQM, fusjonert) mot et parametrisert angrep (effektfordel, justering av bærebølgefase, push av tid/posisjon; i stil med TEXBAT).

En kjøring av scenarios/spoof-detect.toml oppsummeres slik: scenario e046ee4ca90a | spoof-detect | 8 SVs, +1,5 dB | Position push | fused score 0,70 (thr 0,50) | SPOOF DETECTED (fused) — layers: RAIM+SQM

Inndata#

Fra skjemaet (kshana kinds --json):

  • Obligatoriske felt: attack
  • Valgfrie felt: satellites, detector

Eksempelet scenarios/spoof-detect.toml angir blant annet:

Felt Verdi Enhet
attack.carrier_aligned false flagg
attack.el_imbalance 0.12 1
attack.num_biased 3 antall
attack.power_advantage_db 1.5 dB
attack.push position tekst
attack.push_magnitude_m 75 m
detector.agc_margin_db 3 dB
detector.fusion_threshold 0.5 ikke oppgitt
detector.raim_p_fa 0.001 ikke oppgitt
detector.sat_power_dbm -130 dBm
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 ikke oppgitt

Kjør den#

kshana scenarios/spoof-detect.toml

2 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
attack.carrier_aligned false flagg
attack.el_imbalance 0.12 1
attack.num_biased 3 antall
attack.power_advantage_db 1.5 dB
attack.push position tekst
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true flagg
decision.fused.layers.agc false flagg
decision.fused.layers.raim true flagg
Diagrammet motoren skriver for scenarios/spoof-detect.toml, type spoof-detect

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • MODELLED Klokkestøttet χ², RAIM, AGC, SQM sammensatt per epoke til en sikkerhetskvalitetsmåling. Uavhengig referanse (ExternalDataset): TEXBAT-scenarioparametere (Humphreys 2012) — karakterisering, ikke fastlåste vektorer. 0,30 ekstern sammenligning, et funn (forblir MODELLED): på JammerTest 2024 (Bleik; GPL-3.0-data) utløste monitorene på observabelnivå (klokkestøttet kjikvadrat, RAIM, løsningssvikt) ingen alarm innen 10 s av noen av de 8 evaluerbare publiserte spoofing-starttidspunktene (der vinduet før start var rent, kom den første alarmen 10,2 til 39 s etter pu
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
  • PARTNER Ikke levert — Kshana modellerer signalytelse, ikke nyttelast- eller antennemaskinvare. Uavhengig referanse (NoneKind): ingen: en disiplin som eies av partneren, uten modul og uten test etter utforming

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Spoofing-deteksjon er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#