Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/spoof-detect.md

spoof-detect (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Jamming, spoofing en het spectrum. Adviserend: uitvoer van een analyse door een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen safety-of-life-dienst. Elk label hier is van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders vermeldt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Gecombineerde spoofdetector op RF-/meetniveau (RAIM-consistentie met meerdere SV's + AGC + SQM, gefuseerd) tegenover een geparametriseerde aanval (vermogensvoordeel, uitlijning van de draaggolffase, tijd-/positieverschuiving; in de stijl van TEXBAT).

Eén run van scenarios/spoof-detect.toml vat samen als: scenario e046ee4ca90a | spoof-detect | 8 SV's, +1,5 dB | Positieverschuiving | gefuseerde score 0,70 (drempel 0,50) | SPOOF DETECTED (gefuseerd) — lagen: RAIM+SQM

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: attack
  • Optionele velden: satellites, detector

Het voorbeeld scenarios/spoof-detect.toml stelt onder meer in:

Veld Waarde Eenheid
attack.carrier_aligned false vlag
attack.el_imbalance 0.12 1
attack.num_biased 3 aantal
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 niet vermeld
detector.raim_p_fa 0.001 niet vermeld
detector.sat_power_dbm -130 dBm
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 niet vermeld

Uitvoeren#

kshana scenarios/spoof-detect.toml

2 meegeleverde scenario's gebruiken dit kind; de overige staan in scenarios/.

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
attack.carrier_aligned false vlag
attack.el_imbalance 0.12 1
attack.num_biased 3 aantal
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 vlag
decision.fused.layers.agc false vlag
decision.fused.layers.raim true vlag
De grafiek die de engine schrijft voor scenarios/spoof-detect.toml, soort spoof-detect

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

  • MODELLED Klokondersteunde χ², RAIM, AGC, SQM, gefuseerd tot een beveiligingskwaliteitsmaat per epoch Tests: spoof_texbat_validation.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Klokondersteunde χ², RAIM, AGC, SQM, per tijdstip gefuseerde veiligheidskwaliteitsmaat. Onafhankelijke referentie (ExternalDataset): TEXBAT-scenarioparameters (Humphreys 2012) — karakterisering, geen vastgezette vectoren. 0,30 externe vergelijking, een bevinding (blijft MODELLED): op JammerTest 2024 (Bleik; GPL-3.0-data) gaven de monitors op waarnemingsniveau (klokondersteunde chikwadraat, RAIM, oplossingsfout) geen alarm binnen 10 s van een van de 8 evalueerbare gepubliceerde spoofingbegintijden (waar het venster vóór het begin schoon was, kwam het eerste alarm 10,2 tot 39 s na de pu
  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • PARTNER Niet geleverd — Kshana modelleert signaalprestaties, geen payload- of antennehardware. Onafhankelijke referentie (NoneKind): geen: een discipline die van de partner is, met opzet zonder module en zonder test

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Spoofingdetectie is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#