Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Страницы видов сценариевПравить на GitHubИсточник: docs/kinds/by-kind/spoof-detect.md

spoof-detect (вид сценария)

Вид сценария движка v0.40.0, семейство Подавление, спуфинг и спектр. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Все обозначения здесь принадлежат движку или матрице верификации; вид относится к уровню MODELLED, если матрица не указывает иное (как заслуживается обозначение: раздел Evidence в 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 флаг
attack.el_imbalance 0.12 1
attack.num_biased 3 число
attack.power_advantage_db 1.5 dB
attack.push положение текст
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 флаг
attack.el_imbalance 0.12 1
attack.num_biased 3 число
attack.power_advantage_db 1.5 dB
attack.push положение текст
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true флаг
decision.fused.layers.agc false флаг
decision.fused.layers.raim true флаг
График, который движок строит для scenarios/spoof-detect.toml, вид spoof-detect

Доказательства#

MODELLED: строки матрицы верификации, называющие этот вид.

  • MODELLED χ² с использованием часов, RAIM, AGC, SQM — объединённый показатель качества безопасности по эпохам Тесты: spoof_texbat_validation.rs.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

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

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

  • Обнаружение спуфинга — MODELLED, а не validated: одно из частных утверждений проверено внешне, но вся возможность составлена из смоделированных частей, поэтому остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#