Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/spoof-detect.md

spoof-detect (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Segamine, spuufimine ja spekter. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Ühendatud RF/mõõtmise spuufimise detektor (mitme SV RAIM-i kooskõla + AGC + SQM, sulatatud) vs parameetritega rünnak (võimsuseelis, kandelaine faasi joondus, aja/asukoha tõukamine; TEXBAT-stiilis).

Ühe scenarios/spoof-detect.toml käivituse kokkuvõte: scenario e046ee4ca90a | spoof-detect | 8 SV-d, +1,5 dB | Asukoha tõukamine | sulatatud skoor 0,70 (lävi 0,50) | SPOOF DETECTED (sulatatud) — kihid: RAIM+SQM

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: attack
  • Valikulised väljad: satellites, detector

Näide scenarios/spoof-detect.toml määrab muu hulgas:

Väli Väärtus Ühik
attack.carrier_aligned false lipp
attack.el_imbalance 0.12 1
attack.num_biased 3 arv
attack.power_advantage_db 1.5 dB
attack.push asukoht tekst
attack.push_magnitude_m 75 m
detector.agc_margin_db 3 dB
detector.fusion_threshold 0.5 ei ole märgitud
detector.raim_p_fa 0.001 ei ole märgitud
detector.sat_power_dbm -130 dBm
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 ei ole märgitud

Käivitamine#

kshana scenarios/spoof-detect.toml

2 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
attack.carrier_aligned false lipp
attack.el_imbalance 0.12 1
attack.num_biased 3 arv
attack.power_advantage_db 1.5 dB
attack.push asukoht tekst
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true lipp
decision.fused.layers.agc false lipp
decision.fused.layers.raim true lipp
Diagramm, mille mootor kirjutab failile scenarios/spoof-detect.toml, liik spoof-detect

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Kellaga toetatud χ², RAIM, AGC, SQM ühendatud epohhikaupa turvalisuse FoM. Sõltumatu etalon (ExternalDataset): TEXBAT-i stsenaariumi parameetrid (Humphreys 2012) — iseloomustus, mitte fikseeritud vektorid. 0,30 väline võrdlus, tulemus (jääb MODELLED): JammerTest 2024 (Bleik; GPL-3.0 andmed) ei tõstnud vaatlustaseme monitorid (kellaga toetatud hii-ruut, RAIM, lahenduse ebaõnnestumine) alarmi 10 s jooksul ühegi 8 hinnatava avaldatud spuufimise alguse suhtes (kus alguseelne aken oli puhas, tuli esimene alarm 10,2 kuni 39 s pärast pu
  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • PARTNER Ei paku — Kshana modelleerib signaali toimivust, mitte kasulikkoormuse/antenni riistvara. Sõltumatu etalon (NoneKind): puudub: partneri vastutusala, kujundatud nii, et mooduli ega testi ei ole

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • Spuufimise tuvastamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#