Спуфинг работает как подмена навигационного сигнала, и его ложный сигнал выше реального на десятки децибел. Подавление строится на признаках сигнала, решении и аутентификации, и их совместная работа считается в защищённом приёмнике. В статье разобраны спуфинг и его признаки, контроль отношения несущая-шум, невязки решения, мультиантенный приём, аутентификация сообщения, комбинация признаков и порядок защиты.

Спуфинг и его признаки в сигнале

Спуфинг работает на подмену сигнала, и его признаки считаются в защищённом приёмнике. Расчёт признаков для практического случая даёт следующее, ложный сигнал выше реального на 10-30 децибел, и его уровень работает как первый признак. Связь с захватом фундаментальна, спуфингер захватывает следящие контуры приёмника постепенным наращиванием, и его динамика работает на обнаружение. Практическая связка, мощность, захват и признаки, и их сумма работает на обнаружение. Ложный сигнал несёт согласованные псевдодальности, и их согласованность между спутниками работает как признак. Практическая связка, псевдодальности, согласованность и решение, и их сумма работает на обнаружение. Спуфинг с его сценарием считается в модели угроз, и её уровень работает на требования защиты. Практическое решение, контроль признаков в приёмнике, их пороги и комбинация, и их сумма работает на обнаружение. Проверка идёт испытанием имитатором спуфинга, и его сценарии работают на проверку. Экономия на признаках платится подменой, и её цена в навигации измеряется километрами ошибки. Для защищённых приёмников признаки считаются первой линией, и их контроль работает на обнаружение. Практическая работа с захватом контуров заслуживает отдельного взгляда. Постепенное наращивание мощности работает на незаметный захват, и его динамика считается в модели угроз. Скачкообразный захват работает на явные признаки, и его обнаружение проще. Проверка идёт испытанием обоих сценариев, и их данные работают на пороги. Сценарии спуфинга работают на требования защиты, и их ранжирование считается в модели угроз. Реальные случаи в эксплуатации работают на уточнение модели, и их данные считаются в контроле. Проверка модели идёт при каждом обновлении угроз, и её данные работают на пороги.

Контроль отношения несущая-шум в приёмнике

Отношение несущая-шум работает как доступный признак, и его контроль считается в приёмнике. Расчёт для практического случая даёт следующее, реальный сигнал даёт отношение 40-50 дБГц, и его уровень стабильна для заданной геометрии. Связь со спуфингом фундаментальна, ложный сигнал выше реального, и его скачок на 10 децибел за секунду работает как подозрение. Практическая связка, уровень, скачок и подозрение, и их сумма работает на обнаружение. Дисперсия отношения работает как второй признак, и её рост при спуфинге считается в контроле. Практическая связка, дисперсия, спуфинг и пороги, и их сумма работает на обнаружение. Ложный сигнал с его стабильностью уровня работает подозрительно на фоне реального с его вариациями, и их различие считается в контроле. Практическое решение, контроль уровня и дисперсии, их пороги и накопление статистики, и их сумма работает на обнаружение. Пороги считаются от фактической статистики, и их настройка работает на ложные тревоги. Проверка идёт испытанием с имитатором, и его уровни сравниваются с порогами. Экономия на контроле платится подменой, и её цена измеряется ошибкой позиции. Для приёмника контроль отношения считается самым простым признаком, и его работа стоит десятки байт вычислений. Практическая работа со статистикой заслуживает отдельного взгляда. Накопление дисперсии работает на порог, и его интервалы считаются в контроле. Сравнение между спутниками работает на согласованность уровней, и её проверка считается в обнаружении. Проверка идёт при фактическом приёме с накоплением, и его данные работают на пороги.

Невязки решения и их контроль

Невязки решения работают как признак несовместности измерений, и их контроль считается в приёмнике. Расчёт для практического случая даёт следующее, спуфинг с его согласованными ложными псевдодальностями даёт решение без невязок внутри подмножества, но его переход при захвате работает на скачок решения. Связь с геометрией фундаментальна, ложный сигнал от одного источника даёт решение, несовместное с геометрией, и его невязки растут до десятков метров. Практическая связка, невязки, геометрия и пороги, и их сумма работает на обнаружение. Порог невязки считается от требований, и его уровень 30-100 метров работает на обнаружение. Практическая связка, порог, требования и ложные тревоги, и их сумма работает на настройку. Избыточные измерения работают на невязки, и их число считается в контроле. Практическое решение, избыточный приём, невязки с их порогами и исключение подозрительных спутников, и их сумма работает на обнаружение. Исключение работает на решение от оставшихся, и его надёжность считается от числа. Проверка идёт испытанием с имитатором при разных геометриях, и его невязки сравниваются с порогами. Экономия на невязках платится подменой, и её цена в решении измеряется километрами. Для приёмника невязки считаются структурным признаком, и их контроль работает на обнаружение. Практическая работа с избыточностью заслуживает отдельного взгляда. Число спутников выше минимума работает на невязки, и его избыточность считается в контроле. Исключение спутников работает на решение, и его повторение считается в обнаружении. Проверка идёт при разных числах спутников, и её данные работают на избыточность.

Мультиантенный приём и разности фаз

Мультиантенный приём работает на пространственный признак, и его разности фаз считаются в обнаружении. Расчёт для практического случая даёт следующее, реальные сигналы приходят с разных направлений, и их разности фаз между антеннами различны для каждого спутника. Связь со спуфингом фундаментальна, ложные сигналы приходят от одного источника, и их разности фаз между антеннами работают как согласованное направление, не совпадающее с геометрией. Практическая связка, разности фаз, направление и геометрия, и их сумма работает на обнаружение. Пространственная обработка работает на нулевое направление спуфинга, и её обнуление работает на подавление. Расчёт направления помехи для практического примера прямое, массив из нескольких антенн определяет направление источника по разностям фаз, и его отличие от направлений спутников работает как признак. Практическое решение, массив с его разностями фаз, определение направления и обнуление, и их сумма работает на подавление. Калибровка антенн работает на точность фаз, и её ошибки в единицы градусов считаются в обнаружении. Проверка идёт испытанием с имитатором от одного направления, и его обнаружение сравнивается с расчётом. Экономия на массиве платится подменой, и её цена в навигации измеряется километрами. Для защищённых приёмников мультиантенный приём считается сильным признаком, и его работа стоит ресурсами приёма. Практическая работа с массивом заслуживает отдельного взгляда. Размер массива работает на точность направления, и его база считается в разрешении. Паттерны приёма работают на развязку, и их выбор считается в антеннах. Проверка идёт измерением направлений при фактическом массиве, и его данные работают на калибровку.

Аутентификация навигационного сообщения с подписями

Аутентификация сообщения работает на криптографический признак, и её схема считается в современных системах. Расчёт для практического случая даёт следующее, навигационное сообщение подписывается кодом аутентификации с длиной подписи 240-480 бит, и его проверка в приёмнике работает на достоверность. Связь с задержкой фундаментальна, подписи приходят с интервалами в десятки секунд, и их задержка работает на время подтверждения. Практическая связка, подпись, задержка и подтверждение, и их сумма работает на аутентификацию. Спуфинг без ключей не подделывает подпись, и его сообщение отбрасывается при проверке. Практическое решение, приём подписей с их интервалами, проверка в приёмнике и её контроль, и их сумма работает на защиту. Задержка аутентификации работает на окно уязвимости, и его сокращение считается в протоколе. Практическая связка, окно, задержка и требования, и их сумма работает на протокол. Проверка подписи работает на вычисления, и их ресурсы считаются в приёмнике. Проверка идёт испытанием аутентификации с имитатором без ключей, и его отбрасывание сравнивается с расчётом. Экономия на аутентификации платится уязвимостью, и её цена в защите измеряется подменой. Для систем с требованиями к защите аутентификация считается фундаментальным признаком, и её задержка работает на окно. Практическая работа с подписями заслуживает отдельного взгляда. Цепочки подписей работают на непрерывность аутентификации, и их интервалы считаются в протоколе. Хранение ключей работает на безопасность, и его защита считается в приёмнике. Проверка идёт испытанием интервалов подписей, и их данные работают на окно уязвимости.

Комбинация признаков и её решение

Комбинация признаков работает на достоверное решение, и её логика считается в приёмнике. Расчёт для практического случая даёт следующее, каждый признак с его вероятностью ошибки даёт своё решение, и их комбинация снижает вероятность ложной тревоги при сохранении обнаружения. Связь с независимостью фундаментальна, независимые признаки работают на комбинацию, и их корреляция снижает выигрыш. Практическая связка, признаки, независимость и комбинация, и их сумма работает на решение. Логика решения работает на пороги каждого признака, и её правила считаются в проектировании. Практическое решение, пороги признаков, их комбинация и логика решения, и их сумма работает на обнаружение. Мощность с её скачком, невязки с их порогом и разности фаз с их согласованностью работают в комбинации, и их совместный уровень работает на достоверность. Практическая связка, совместный уровень, ложные тревоги и обнаружение, и их компромисс считается в настройке. Проверка идёт испытанием комбинации при разных сценариях, и её характеристики сравниваются с расчётом. Экономия на комбинации платится либо ложными тревогами, либо пропусками, и их цена в защите измеряется вероятностями. Для защищённого приёмника комбинация признаков считается рабочей схемой, и её логика работает на решение. Накопление статистики признаков работает на настройку порогов, и её данные считаются в эксплуатации.

Порядок защиты приёмника от спуфинга

Защита приёмника строится в шесть шагов:

  1. построение модели угроз спуфинга для условий работы;
  2. контроль отношения несущая-шум с его порогами;
  3. контроль невязок решения с их избыточными измерениями;
  4. мультиантенный приём с его разностями фаз;
  5. аутентификация сообщения с её интервалами;
  6. комбинация признаков с её логикой и проверка испытанием.

Такой порядок превращает спуфинг из невидимой угрозы в обнаруживаемую подмену. Практика навигационных систем подтверждает масштаб, защищённые приёмники с комбинацией признаков обнаруживают подмену там, где простые приёмники принимали ложное решение, и каждый шаг цикла конвертируется в достоверность напрямую. Подавление спуфинга остаётся той частью навигации, где криптография и радиофизика работают вместе, и умение вести их совместную работу от признаков до комбинации определяет, что решение останется верным на практике. Практическая связка защиты с жизнью системы заслуживает отдельного взгляда. Защита ведётся вместе с контролем целостности и его логикой, и их совместная работа считается в достоверности. Обновления сигнальных систем работают на новые признаки, и их учёт считается в прошивках. Документирование испытаний с их сценариями работает на аудит защиты, и его данные работают на следующие версии.