Машинний переклад, не перевірений носієм мови. Еталоном є англійська версія.

Сторінки видів сценаріївРедагувати на GitHubДжерело: docs/kinds/by-kind/spoof-detect.md

spoof-detect (тип сценарію)

Вид сценарію рушія v0.40.0, родина Глушіння, спуфінг і спектр. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут — від рушія або матриці верифікації; вид має рівень MODELLED, якщо матриця не каже іншого (як здобувається позначка: розділ «Докази» в README).

Що він робить#

Комбінований ВЧ-/вимірювальний детектор спуфінгу (узгодженість RAIM за кількома SV + AGC + SQM, об'єднані) проти параметризованої атаки (перевага за потужністю, вирівнювання фази несівної, зсув часу/позиції; у стилі TEXBAT).

Один прогін scenarios/spoof-detect.toml підсумовується так: сценарій e046ee4ca90a | spoof-detect | 8 SV, +1,5 dB | Зсув позиції | об'єднана оцінка 0,70 (поріг 0,50) | SPOOF DETECTED (об'єднано) — шари: RAIM+SQM

Входи#

Зі схеми (kshana kinds --json):

  • Обов'язкові поля: attack
  • Необов'язкові поля: satellites, detector

Приклад scenarios/spoof-detect.toml задає, серед іншого:

Поле Значення Одиниця
attack.carrier_aligned false flag
attack.el_imbalance 0.12 1
attack.num_biased 3 кількість
attack.power_advantage_db 1.5 dB
attack.push позиція text
attack.push_magnitude_m 75 m
detector.agc_margin_db 3 dB
detector.fusion_threshold 0.5 не вказано
detector.raim_p_fa 0.001 не вказано
detector.sat_power_dbm -130 дБм
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 не вказано

Запуск#

kshana scenarios/spoof-detect.toml

Цей різновид використовують 2 вбудовані сценарії; решта — у scenarios/.

Що це дає#

Скалярні результати цього прогону з одиницями, які вказує рушій:

Результат Значення Одиниця
attack.carrier_aligned false flag
attack.el_imbalance 0.12 1
attack.num_biased 3 кількість
attack.power_advantage_db 1.5 dB
attack.push позиція text
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true flag
decision.fused.layers.agc false flag
decision.fused.layers.raim true flag
Діаграма, яку рушій записує для scenarios/spoof-detect.toml, тип spoof-detect

Докази#

MODELLED: рядки матриці верифікації, що називають цей різновид.

  • MODELLED Показник безпеки для кожної епохи, що об'єднує χ² з допомогою годинника, RAIM, AGC, SQM Тести: spoof_texbat_validation.rs.

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

  • MODELLED Злитий покрокований FoM безпеки з χ² за допомогою годинника, RAIM, AGC, SQM на кожну епоху. Оракул (ExternalDataset): параметри сценаріїв TEXBAT (Humphreys 2012) — характеристика, а не закріплені вектори. 0,30 зовнішнє порівняння, знахідка (лишається MODELLED): на JammerTest 2024 (Bleik; дані GPL-3.0) монітори рівня спостережуваних величин (хі-квадрат за допомогою годинника, RAIM, збій розв'язку) не підняли тривоги протягом 10 с від жодного з 8 придатних до оцінки опублікованих початків спуфінгу (де вікно перед початком було чистим, перша тривога надходила через 10,2–39 с після
  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • PARTNER Не надається — Kshana моделює характеристики сигналу, а не корисне навантаження чи антенне обладнання. Оракул (NoneKind): немає: дисципліна, якою володіє партнер, за задумом без модуля і без тесту

Обмеження#

Що, за власним звітом прогону, не обчислено за моделлю або не перевірено за зовнішнім еталоном:

  • Виявлення спуфінгу є MODELLED, а не перевіреним (validated): одну частину твердження перевірено зовнішньо, але вся можливість складається із змодельованих частин, тож можливість лишається змодельованою. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#