Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/spoof-detect.md

spoof-detect (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, perhe Häirintä (jamming), harhautus (spoofing) ja spektri. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

Yhdistetty RF-/mittaushavaintoihin perustuva harhautuksen ilmaisin (usean SV:n RAIM-johdonmukaisuus + AGC + SQM, fuusioituna) parametroitua hyökkäystä vastaan (tehoetu, kantoaallon vaiheen kohdistus, aika-/paikkatyöntö; TEXBAT-tyylinen).

Yksi ajo, jossa on scenarios/spoof-detect.toml, tiivistyy seuraavasti: scenario e046ee4ca90a | spoof-detect | 8 SVs, +1,5 dB | Position push | fused score 0,70 (thr 0,50) | SPOOF DETECTED (fused) — layers: RAIM+SQM

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: attack
  • Valinnaiset kentät: satellites, detector

Esimerkki scenarios/spoof-detect.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
attack.carrier_aligned false lippu
attack.el_imbalance 0.12 1
attack.num_biased 3 lukumäärä
attack.power_advantage_db 1.5 dB
attack.push position teksti
attack.push_magnitude_m 75 m
detector.agc_margin_db 3 dB
detector.fusion_threshold 0.5 ei ilmoitettu
detector.raim_p_fa 0.001 ei ilmoitettu
detector.sat_power_dbm -130 dBm
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 ei ilmoitettu

Aja se#

kshana scenarios/spoof-detect.toml

2 mukana toimitettua skenaariota käyttää tätä lajia; muut ovat kohteessa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
attack.carrier_aligned false lippu
attack.el_imbalance 0.12 1
attack.num_biased 3 lukumäärä
attack.power_advantage_db 1.5 dB
attack.push position teksti
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true lippu
decision.fused.layers.agc false lippu
decision.fused.layers.raim true lippu
Moottorin kirjoittama kaavio skenaariolle scenarios/spoof-detect.toml, laji spoof-detect

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Kelloavusteinen χ², RAIM, AGC, SQM fuusioituna epookkikohtaiseksi turvallisuuden laatumittariksi Testit: spoof_texbat_validation.rs.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Kelloavusteinen χ², RAIM, AGC, SQM yhdistettynä epookkikohtaiseksi tietoturvan laatumittariksi. Oraakkeli (ExternalDataset): TEXBAT-skenaarioparametrit (Humphreys 2012) — luonnehdinta, ei kiinnitettyjä vektoreita. 0,30 ulkoinen vertailu, havainto (jää tasolle MODELLED): aineistolla JammerTest 2024 (Bleik; GPL-3.0-data) havaintotason monitorit (kelloavusteinen khiin neliö, RAIM, ratkaisun epäonnistuminen) eivät antaneet hälytystä 10 s kuluessa yhdestäkään 8 arvioitavissa olevasta julkaistusta harhautuksen alkamisesta (kun alkamista edeltävä ikkuna oli puhdas, ensimmäinen hälytys tuli 10,2–39 s julk
  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • PARTNER Ei tarjota — Kshana mallintaa signaalin suorituskykyä, ei hyötykuorma- tai antennilaitteistoa. Oraakkeli (NoneKind): ei mitään: kumppanin omistama osa-alue, jolla ei ole moduulia eikä testiä tarkoituksella

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • Harhautuksen (spoofing) havaitseminen on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys koostuu mallinnetuista osista, joten kyvykkyys jää mallinnetuksi. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#