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

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

spoof (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#

Stokastinen ajanharhautuksen ilmaisin (Neyman–Pearson / χ²₁) Monte Carlo -P_fa/P_md:llä.

Yksi ajo, jossa on scenarios/spoof-attack.toml, tiivistyy seuraavasti: scenario 2b6bd22c3b80 | spoof LinearRamp { rate_ns_per_s: 0,1 } vs 20,000 ns spec (P_fa 0,010) | quantum security 1,000 (P_md 0,000, MC 0,000) detected 70s | classical security 0,558 (P_md 0,442, MC 0,444) detected 430s

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: threshold_ns, time, attack, clock_quantum, clock_classical
  • Valinnaiset kentät: ei yhtään

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

Kenttä Arvo Yksikkö
attack.rate_ns_per_s 0.1 s
attack.start_s 60 s
clock_classical.id csac-sa45s teksti
clock_classical.provenance Microchip SA65 / SA.45s CSAC -tietolehti sigma_y(1s)=3e-10; q_ teksti
clock_classical.q_rw 0 ei ilmoitettu
clock_classical.q_wf 9.0000e-20 ei ilmoitettu
clock_classical.y0 5.0000e-10 ei ilmoitettu
clock_quantum.id optical-sr-lattice teksti
clock_quantum.provenance Strontiumin optinen hilakello, avaruuteen suunnattu tavoite sigma_y teksti
clock_quantum.q_rw 0 ei ilmoitettu
clock_quantum.q_wf 1.0000e-30 ei ilmoitettu
clock_quantum.y0 5.0000e-17 ei ilmoitettu

Aja se#

kshana scenarios/spoof-attack.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ö
classical.breaches_spec_undetected true lippu
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 lukumäärä
classical.detection.monitor_sigma_ns 7.348481 ns
classical.detection.target_pfa 0.01 1
Moottorin kirjoittama kaavio skenaariolle scenarios/spoof-attack.toml, laji spoof

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.
  • MODELLED Lajin leo-pass osio [spoofer]: harhautuslähetin väärentää johdonmukaisesti etäisyyden ja etäisyysnopeuden suhteen signaalit, jotka nähdään väitetyssä paikassa, joka hyppää ja/tai jota työnnetään todellisesta alkamishetken jälkeen (LEO-kaistaa kohden ja MEO Testit: leo_resilience_verticals.rs.
  • MODELLED Jokaiselle LEO-satelliitille ja etäisyysmittauskaistojen parille osio [spoofer] muodostaa geometriasta vapaan pseudoetäisyysyhdistelmän, poistaa vastaanottimen ionosfäärimallin ja testaa sen epookista toiseen -askeleen kahden kaistan koodikohinaa ja st vastaan Testit: leo_resilience_verticals.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

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#