lunar-attack-surface (вид сценарію)

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

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

Поверхня атак на безпеку сигналів місячної наземної навігації (P1): поєднує відкриті аналізи безпеки сигналів в один прогін, досяжний із бінарного файлу. Повідомляє (1) прийняту потужність AFS та її ПЕРЕВИЩЕННЯ відносно наземного опорного рівня GPS, а також діапазон чутливості 12-18 dB як справжній багатоосьовий перебір за входами лінії (опорний рівень × EIRP × похила дальність) зі зведенням лінійних коефіцієнтів 25x за округленням / 28x без округлення. ПЕРЕГЛЯНУТО (правило R4): раніше повідомлялося про ДЕФІЦИТ потужності 15,6 дБ і коефіцієнт 32x/36x, доки опорний рівень GPS не виправили з -125 / -128.5 (це значення в dBm) на -155 / -158.5 dBW, значення з ICD-GPS-200, які модуль глушіння завжди містив. Знак змінюється на протилежний: змодельований місячний сигнал AFS на 14,4 дБ СИЛЬНІШИЙ за наземний GPS L1 C/A, а не слабший. Сама прийнята потужність не змінилася ні на біт, а лінійний коефіцієнт — це старий, поділений рівно на 1000, що є саме зсувом 30 дБ між dBm та dBW; (2) потрібна потужність передавача зловмисника для спуфінгу (J/S = 3 дБ) та для придушення (J/S = 30 дБ) на кожній дистанції, обернена лінія J/S; (3) орбітальний слід захоплення за реальною діаграмою спрямованості антени з рівномірною апертурою (Ері [2 J1(x)/x]^2), обмежена висотою субпівкульна шапка, чий лімб НЕ захоплюється; (4) обчислений результат втягування в захоплення спуфінгу петлею відстеження (чи справді спуфер із погодженим кодом за заданої переваги потужності та зсуву коду затягує DLL/PLL), а не заявлений поріг 3 дБ; (5) геометричний радіус горизонту безповітряного тіла для піднятого наземного передавача; та (6) бюджет автентифікації OSNMA/TESLA (20 біт/с накладних = ~40 % навігаційного повідомлення AFS на 50 біт/с, затримка розкриття ключа, підробка 2^-40). Порожнє тіло відтворює базовий рівень P1; кожен вхід має значення за замовчуванням і може бути перевизначений. Підрезультати VALIDATED несуть оракул свого вихідного модуля (замкнена радіометрія в дБ; круговий обхід оберненого J/S; діаграма Ері проти бесселів A&S і геометрії сферичної шапки; втягування DLL/PLL проти Каплана та Гегарті; тотожність сферичного дотичного горизонту проти eo_payload; розміри полів OSNMA SIS-ICD). MODELLED: репрезентативні величини геометрії/потужності та конкретні значення комірок карти захоплення. Не є сертифікованим продуктом безпеки.

Один прогін scenarios/lunar-attack-surface.toml підсумовується так: lunar-attack-surface | AFS -140.6 dBW, surplus 14,4 dB (band -17.9–-12.0, 25×/28× surplus) | spoof@1000 m 0,000 W | footprint 3% cap, limb false | spoof-capture true (lock 0,00 s) | mast reach 21,0 km | OSNMA 20 bit/s (40% of 50 bit/s), 30 s latency | footprint sweep 7x5 (alt 20-500 km x HPBW 1.83-29.20 deg), capture 0.6-42.9% | limb NOT reached on this grid (best -0.8 dB, 3,8 dB short; needs 19,8 dBW vs 16,0 dBW)

Входи#

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

• Обов'язкові поля: немає
• Необов'язкові поля: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale

Приклад scenarios/lunar-attack-surface.toml задає, зокрема:

Запуск#

kshana scenarios/lunar-attack-surface.toml

Що це дає#

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

Докази#

Жоден рядок матриці не називає цей тип за назвою; позначка на його результаті — власна позначка рушія, наведена вище.

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

• MODELLED Геометричний бюджет лінії J/S, протизавадове C/N₀, втрата захоплення для кожного супутника. Оракул (InternalConsistency): Рівняння бюджету лінії протизавадового C/N₀, перехресно перевірене незалежним повторним виведенням у numpy (використовує ту саму замкнену форму → InternalConsistency), а також характеристика деградації C/N₀ за реальним JammerTest-2024. 0,30 раунд 2, заблоковано (залишається MODELLED): виміряне зниження C/N0 у JammerTest 2024 порівняно з прогнозом бюджету лінії (попередньо зареєстровано 6a66994b, у межах 3 дБ) не виконано, бо позиція та напрямок антени F8.1 на
• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• MODELLED Двоосьовий перебір зваженого за діаграмою, обмеженого висотою сліду захоплення поверхні за висотою передавача та діаметром антени, видається по одному рядку на робочу точку. Оракул (InternalConsistency): Включення множин: відношення сигнал/глушник входить як рівномірний зсув у децибелах, тож захоплена множина за більшої потужності передавання містить множину за меншої, і частка може лише зростати -- властивість, якої діаграма Ері НЕ дає за шириною променя чи висотою, де захоплена область розпадається на кільця і частка справді немонотонна. Жодна опублікована таблиця не дає захопленої частки диска місячного орбітального пере

Обмеження#

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

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

Див. також#

• Сторінка родини: Місячний і цисмісячний простір
• Усі різновиди: KINDS.md