Академический Документы
Профессиональный Документы
Культура Документы
Подробнее на www.DeepL.com/pro.
Аннотация
1 Введение
Для автономной или полуавтономной работы беспилотные летательные аппараты (БПЛА)
нуждаются в надежной навигации. Наиболее распространенным историческим подходом к
обеспечению надежной навигации БПЛА было построение оценщика состояния на основе ядра
датчика, состоящего из инерциального измерительного блока (IMU) и приемника глобальной
системы позиционирования (GPS) (Kendoul, 2012). Однако, учитывая хрупкость сигналов GPS и
других глобальных навигационных спутниковых систем (ГНСС) в условиях блокировки или
глушения сигнала, в настоящее время существует
большой интерес к разработке систем навигации и управления БПЛА, которые могут работать в
условиях отсутствия ГНСС (Kendoul, 2012, Bachrach et al., 2011, Weiss et al., 2011, Garratt and Chahl,
2008). Многообещающие недавние результаты показывают, что навигация с помощью зрения
является практической альтернативой GNSS для управления БПЛА в замкнутом цикле в условиях
отсутствия карты (Chowdhary et al., 2013). Тем не менее, в отличие от навигации с помощью ГНСС,
методы с помощью зрения неизбежно дрейфуют во время дальних исследований, если нет
априорной карты объектов, и они подходят только при благоприятных погодных условиях и
освещении. Следовательно, можно ожидать, что большинство навигационных систем БПЛА в
ближайшие годы будут полагаться на приемники ГНСС, а зрение и другие не-ГНСС-датчики будут
служить для заполнения пробелов в наличии сигнала ГНСС.
Уязвимость ГНСС выходит за рамки блокирования и глушения сигналов. Атаки спуфинга, при
которых поддельные сигналы ГНСС генерируются с целью манипулирования данными о положении,
скорости и времени целевого приемника, были продемонстрированы с помощью недорогого
оборудования против широкого спектра приемников GPS (Humphreys et al., 2008, Shepard and
Humphreys, 2011, Shepard et al., 2012a, Shepard et al., 2012b). В то время как форма волны военной
GPS по своей конструкции непредсказуема и поэтому устойчива к подделке (Spilker, 1996), формы
волны гражданской GPS и других гражданских ГНСС являются незашифрованными,
неаутентифицированными и открыто указанными в общедоступных документах (Global Positioning
System Directorate, 2012, European Union, 2010). Кроме того, хотя спецификации сигналов и не
полностью ограничивают их, сообщения навигационных данных, модулирующие эти гражданские
формы волн, в значительной степени предсказуемы. Сочетание известной структуры сигнала и
предсказуемости битов данных делает гражданские сигналы ГНСС легкой мишенью для
поддельных атак.
В данной статье основное внимание уделяется подделке сигналов гражданской GPS, и далее
будут рассматриваться только сигналы гражданской GPS. Тем не менее, утверждения об
уязвимости сигналов GPS применимы в целом к текущим и планируемым гражданским сигналам
ГНСС, спецификации которых были обнародованы, включая модернизированные сигналы GPS
L2C и L5 и сигналы открытой службы Galileo.
Для захвата и управления после захвата рассматриваются две стратегии спуфинга: открытая
(спуфер не предпринимает попыток скрыть атаку) и скрытая (спуфер стремится избежать
обнаружения GPS-приемником цели и навигационной системой БПЛА в целом). Как и следовало
ожидать, требования к скрытому захвату гораздо более строгие, а полномочия скрытого
управления гораздо более ограничены, чем у открытых аналогов.
В следующем разделе приводится обзор компонентов, участвующих в атаке спуфинга, и
объясняется, как спуфер компенсирует задержки распространения и обработки сигнала. Затем
дается определение захвата навигационной системы с помощью спуфинга GPS и приводятся
необходимые условия для открытого и скрытого захвата. Далее следует подробный теоретический
анализ открытого и скрытого контроля после захвата, сопровождаемый наглядным
моделированием. В конце статьи приводятся результаты полевых испытаний, в ходе которых GPS-
спуфер захватывает
БПЛА с вертолетом и приводит к его падению.
В отличие от так называемых атак спуфинга вблизи, рассмотренных в (Humphreys et al., 2008) и
(Shepard et al., 2012b), где спуфер находится в непосредственной близости от целевого приемника, в
данной работе рассматривается спуфинг на расстоянии, как показано на рис. 1. Через свою
приемную антенну, обозначенную RX, спуфер принимает аутентичные сигналы от всех видимых
спутников GPS. Векторы ∆rTX и ∆rt представляют собой, соответственно, трехмерные координаты
передающей антенны спуфера, обозначенной TX, и GPS-антенны самолета-цели, расположенных
относительно приемной антенны спуфера. Предполагается, что антенны спуфера и цели
расположены на соответствующих расстояниях rsi и rti от i-го спутника GPS.
со спутником
GPS
Моделируемое
rti местоположение
∆r
Целев Истинное
ая местоположе
rsi
антенна ние
∆rt
∆rt - ∆rTX
∆rTX
RX TX
ds
dRX dTX
Spoofer
Согласованная атака возможна только в том случае, если подстрекатель (1) измеряет все
соответствующие системные задержки с точностью до нескольких наносекунд и (2) компенсирует
эти задержки, генерируя слегка опережающую (предсказанную) версию получаемых им сигналов.
Для гражданских сигналов GPS надежное предсказание тривиально, поскольку коды
распространения не зашифрованы и открыто документированы, спутники следуют по регулярным
орбитам, а модулирующие навигационные данные следуют регулярным шаблонам. Военные
сигналы GPS, напротив, имеют надежное шифрование кода распространения; более того,
непредсказуемость кода распространения является основой их безопасности.
Для ith спутника GPS общая задержка системы, эквивалентная расстоянию, которая должна быть
компенсирована, задается следующим образом
cdi = rsi - rti + c(dRX + dTX + ds ) + ||∆rt - ∆r
||TX
где dRX и dTX - соответственно, задержки в кабелях приема и передачи, ds - задержка обработки
сигнала спуфером, а c - скорость света. Дальности rsi и rti легко вычисляются по эфемеридам
спутников вещания, если спуфер знает местоположение своей приемной антенны и относительные
координаты ∆rt цели. Задержки dRX и dTX легко рассчитываются с точностью до наносекунды для
кабелей известной длины и стандартного типа. Для обсуждаемого здесь спуфера (единственного,
способного осуществлять GPS спуфинг с полным обзором, о котором сообщалось в открытой
литературе), измерение ds несколько сложнее, поскольку возникает недетерминированная
задержка буферизации при включении. Чтобы преодолеть эту проблему, при включении
выполняется однократная калибровка, при которой эталонный сигнал спуфера подается обратно с
радиочастотного (РЧ) выхода спуфера на его РЧ-вход и впоследствии отслеживается GPS-
системой спуфера. Сравнивая кодовую фазу переданной и принятой версий опорного сигнала,
спуфер может измерить свою сквозную задержку ds , которая составляет приблизительно 5 мс, с
точностью до нескольких наносекунд.
Для создания выровненной поддельной версии сигналов i-го спутника спуфер прогнозирует для
каждого сигнала три величины на момент di секунд в будущем: значение символа модулированных
навигационных данных, доплеровское смещение частоты и смещение фазы кода. Прогнозы
основаны на прогнозируемом положении и скорости спутника и на измеренных тенденциях
внутренних часов спуфера. Отметим, что типичные скорости и ускорения самолетов-целей
достаточно малы, чтобы не было необходимости прогнозировать движение цели по di ; достаточно
текущей оценки ∆r и ее производной по времени, чтобы обеспечить метровое и деци-герцовое
точное выравнивание сигнала на антенне цели.
Считается, что навигационная система целевого самолета захвачена GPS-спуфером, если спуфер
может контролировать 6-мерную оценку положения и скорости (PV) системы верхнего уровня xˆ =
[rˆT , vˆT ]T . Контроль оценки смещения часов приемника системы δt неявно присутствует в захвате
навигационной системы, но здесь мы сосредоточимся только на контроле rˆ и vˆ. В данном
контексте "осуществлять контроль" означает, что подстрекатель может в конечном итоге
заставить xˆ соответствовать заданному подстрекателем значению x⋆ в пределах точности
стандартной службы позиционирования GPS (SPS), которая в настоящее время составляет
более 3 м по положению и 10 см/с по скорости, когда приемник имеет доступ к поправкам от
спутниковой системы дополнения, такой как Wide Area Augmentation System (WAAS) (Misra and
Enge, 2012).
Ограниченный вариант полного захвата, называемый захватом многообразия, имеет место, когда
подстрекатель может управлять xˆ только в пределах m < 6-мерной подмногообразия
пространства состояний PV. Например, навигационная система конкретного БПЛА может
игнорировать измерения положения и скорости GPS в вертикальном направлении, полагаясь
только на высотомер. Захват многообразия аналогичен управляемости подсистемы большей
неуправляемой системы.
Полный или коллективный захват требует, чтобы по крайней мере субманифест оценки состояния
целевого самолета xˆ был управляем с PV-выхода GPS-приемника. Это условие выполняется для
большинства беспилотных летательных аппаратов, оснащенных GPS-приемником, когда они
работают в активном режиме GPS, потому что навигационная система оценки состояния обычно
моделирует не-GPS навигационные датчики как подверженные возмущениям или дрейфам,
которые корректируются с помощью GPS-измерений. Такие модели подходят для инерциальных
датчиков (Flenniken IV et al., 2005), магнитометров (Wendel et al., 2006), барометрических
высотомеров (Kim and Sukkarieh, 2003) и электрооптических навигационных систем, основанных на
исследовательской одновременной локализации и отображении (SLAM) (Durrant-Whyte and Bailey,
2006, Nuetzi et al., 2011, Chowdhary et al., 2013). Только навигационные системы типа SLAM,
которые строго ограничивают разведку, или системы, которые выполняют сопоставление карты с
априорной картой высокого разрешения, как было показано, дают оценки положения и скорости с
точностью и долгосрочной стабильностью, аналогичной GPS-приемнику (Castle et al., 2011). Таким
образом, можно ожидать, что большинство систем БПЛА будут оставаться по крайней мере в
несколько раз более способными к захвату в течение нескольких лет.
При открытом захвате спуфер не пытается скрыть свою попытку подчинить себе целевую систему.
Следовательно, спуферу не нужно выравнивать свои имитированные сигналы с их
подлинными аналогами на антенне целевого приемника в начале атаки; вместо этого он может
просто заглушить частотные диапазоны целевого GPS, заставляя целевой приемник потерять
блокировку и попытаться повторно принять все сигналы. После такой прелюдии глушения спуфер
успешно получит контроль над контурами слежения целевого GPS-приемника, если его
имитированные сигналы поступают с достаточной мощностью, чтобы (1) они комфортно
превышали порог обнаружения захвата целевого приемника, и (2) подлинные сигналы были
вынуждены опуститься ниже порога обнаружения благодаря действию автоматического
регулятора усиления радиочастотного фронта. Пусть η = P /Psa - преимущество в мощности
спуфера, или отношение мощности принимаемого спуфинг-сигнала Ps к мощности
аутентичного сигнала Pa , для конкретного аутентичного сигнала. Эксперименты с различными
типами приемников показывают, что η = 10 дБ удовлетворяет этим условиям.
резкий переход может быть приемлемым или даже желательным для целей открытого
шпионажа.
Мониторинг J/N GPS J/N монитор включает сигнал тревоги, когда мощность, полученная в
данной полосе частот, значительно превышает мощность в этой полосе в условиях покоя (Ward,
1994). Несколько коммерческих приемников, включая ublox Lea-6N, в настоящее время
предлагаются с функцией мониторинга J/N. Монитор J/N может служить в качестве детектора
спуфинга, если (1) мощность, получаемая от спуфера, превышает порог срабатывания, и (2)
приемник продолжает отслеживать сигналы GPS при высоком соотношении несущая/шум,
несмотря на явное глушение (Akos, 2012). Таким образом, с точки зрения спуфера,
предотвращение J/N монитора влечет за собой ограничение преимущества в мощности спуфера
η. Лабораторные испытания показали, что для ublox Lea-6N в конфигурации по умолчанию
достаточно поддерживать η ≤ 12 дБ для всех спуфируемых сигналов, чтобы избежать
срабатывания монитора J/N.
С точки зрения отслеживания сигнала, выровненная атака подмены GPS представляет собой
уникальную проблему, которая ранее не рассматривалась. В обширной предшествующей
литературе исследуются диапазоны втягивания сигнала для фазово-локнистых петель (ФЛП) и
петель блокировки задержки (ПЛЗ) в типичном сценарии множественного доступа с кодовым
разделением, когда вход состоит из смеси сигналов, каждый из которых имеет уникальный код
распространения с пренебрежимо малой перекрестной корреляцией (Zhuang, 1996, Lee and Un,
1982, Gupta, 1975, Lindsey and Chie, 1981). Эти результаты применимы непосредственно к
отслеживанию сигнала в GPS-приемнике в обычных условиях. Однако во время спуфинг-атаки
каждый спуфинг-сигнал конкурирует с аналогичным аутентичным сигналом за управление
контурами слежения, и оба сигнала имеют идентичные коды распространения. Это похоже на случай
сильного многолучевого эффекта, за исключением того, что ложный сигнал может быть более
мощным, чем аутентичный сигнал, и может представлять себя как задержанная или
усовершенствованная версия аутентичного сигнала.
Для анализа захвата контура слежения GPS, представленного в данной статье, предполагается,
что каждый сигнал отслеживается с помощью PLL с обратной связью по фазе и DLL с поддержкой
несущей. Это стандартная конфигурация для коммерческих и военных GPS-приемников (Van
Dierendonck, 1996, Misra and Enge, 2012, Braasch and Van Dierendonck, 1999, Stephens and Thomas,
1995). Пусть часть принимаемого сигнала, соответствующая уникальному распространяющемуся
коду (единственный сигнал с конкретного спутника) при спуфинг-атаке, будет представлена
сложной базовой полосовой моделью в виде
s(t) =C [ - tτa (t)] exp (jφa (t))
+ √ηC[t - τs (t)] exp (jφs (t)) + n(t)
где C(t) - код распространения, τa (t) - кодовая фаза подлинного сигнала, φa (t) - несущая фаза
подлинного сигнала, η - преимущество в мощности спуфера, τs (t) - кодовая фаза спуфинг-сигнала,
φs (t) - несущая фаза ложного сигнала, а n(t) - нулевой комплексный белый гауссовский шум,
который моделирует комбинированный тепловой шум приемника цели и шум, встроенный в
принятый ложный сигнал (например.g., из-за квантования амплитуды выходного сигнала в
спуфере). Эта модель пренебрегает низкоскоростной модуляцией двоичных навигационных
данных GPS, поскольку она не влияет на динамику контура и, как предполагается, идеально
воспроизводится спуфером.
Принятый сигнал s(t) сначала умножается на три локальные реплики кода распространения,
разделенные по кодовой фазе на TEML /2, чтобы получить ранний, быстрый и поздний
коррелированные по коду сигналы, основанные на оценке τ (t), полученной с помощью ПЛМ. Затем
сигналы, коррелированные с кодом, умножаются на местную реплику несущей, которая основана
на оценке PLL.
оценка φ(t). Затем полученные сигналы интегрируются по интервалу накопления Ta для получения
дискретных накоплений, моделируемых как
∆fD,a(k) Ta
SX (k) =R (∆τ X,a (k)) sinc exp( j∆φ¯ a(k))
2π 2
+ √ηR (∆τ ∆fD,s(k)
exp( j∆φ¯ (k))
Ta
X,s (k)) sinc s + N (k)
2π 2
где SX (k) - накопление с запаздыванием } L (для раннего, быстрого и позднего); ∆τX,a (k)
∈ { X E, P,
и ∆τX,s (k) - разность фаз кода между локальной репликой с запаздыванием X и подлинным и
поддельным сигналами, соответственно; R(∆τ (k)) - автокорреляционная функция
распространяющегося кода; ∆fD,a (k) и ∆fD,s (k) - разность между доплеровской частотой
локальной реплики и доплеровской частотой подлинного и поддельного сигналов, соответственно;
∆ φ ¯ a (k) и ∆ φ ¯ s (k) - разности между фазой несущей локальной реплики и фазой несущей
подлинного и поддельного сигналов, соответственно, в середине интервала накопления; и N (k)
- накопленный шум, смоделированный как некоррелированная дискретная дискретно-временная
последовательность комплексного гауссовского шума с нулевым средним значением.
где BDLL - полоса пропускания DLL. Фильтр PLL обычно имеет форму
k k i
G1 G2 Σ e (i) + G3 Σ
yPLL (k) = eφ (k) + e (j).
Ta Ta i=0
φ Σ
Ta i=0 j=0
φ
Если ∆ρ или ∆fD слишком велики, то спуфер не сможет взять под контроль SE , SP и SL , или
вызовет разблокировку частоты при попытке. Захват, если он успешен, является открытым.
Определение приемлемого диапазона
∆ρ, ∆fD , и η для скрытого захвата начинается с общего наблюдения, что скрытый захват возможен
только при η > 0 дБ и в небольшой окрестности ∆ρ = 0, ∆fD = 0. Дальнейшее исследование
показывает, что с увеличением η окрестность ∆ρ = 0, ∆fD = 0 несколько расширяется, но ни в
одном случае допустимое ∆ρ не превышает удвоенного интервала между чипами кода
распространения, эквивалентного расстоянию (600 м для GPS L1 C/A). На самом деле, контуры
слежения GPS достаточно снисходительны в отношении ∆ρ: моделирование показало, что для |∆ρ|
≤ 50 м идентичные приемлемые диапазоны для ∆fD получаются при условии η ≥ 6 дБ. Поскольку
|∆ρ| ≤ 50 м легко достигается на практике, в последующем анализе мы будем исходить из этого и
сосредоточимся на ∆fD , приемлемых значений которого спуферу достичь гораздо сложнее.
Потеряет ли целевой PLL блокировку для заданного ∆fD зависит от диапазона втягивания частоты
в сценарии спуфинг-атаки для различных значений η. Аналитическое исследование втягивания
частоты осложняется стохастической, дискретно-временной и нелинейной природой PLL.
Действительно, даже анализ подтягивания частоты для дискретно-временных PLL в отсутствие
конкурирующих спуфинговых сигналов является сложной задачей (Lee and Un, 1982, Bernstein et al.,
1989), что подтверждается последними исследованиями в (Sarkar and Chattopadhyay, 1994),
которые прибегают к численному моделированию. Аналогично, представленный здесь анализ
основан на численном моделировании вышеупомянутых моделей следящего контура. Во всех
случаях предполагалось, что PLL и DLL изначально идеально согласованы с подлинным сигналом
и что спуфер подает шум на свой выход для поддержания постоянного номинального отношения
несущей к шуму на протяжении всей атаки. При моделировании также предполагалось, что ∆fD
является постоянным во время попытки захвата.
Три параметра PLL влияют на диапазон подтягивания частоты, при этом наиболее значимым
является тип используемого фазового дискриминатора (ФД). Благодаря более широкому
линейному диапазону четырехквадрантный дискриминатор более снисходителен к ненулевым
значениям ∆fD , чем двухквадрантный дискриминатор. Поэтому при имитационном анализе было
сделано консервативное предположение, что в целевом приемнике используется
двухквадрантный дискриминатор. Следующим наиболее важным параметром является T BaPLL ,
более высокие значения которого приводят к расширению диапазона втягивания. В анализе
предполагалось, что типичный Ta составляет 10 мс, и рассматривались значения BPLL в 5, 10 и 20
Гц. Значение BPLL в 5 Гц ниже, чем рекомендуется для мобильной платформы, и, как ожидается,
будет плохо работать во время нормальной эксплуатации, но было включено для полноты
картины. Динамические платформы могут использовать еще более низкую полосу пропускания
PLL (и, таким образом, достичь лучшей устойчивости к спуфингу), если вспомогательная
информация IMU предоставляется непосредственно PLL (глубокая связь), но такая практика все
еще редко встречается среди коммерческих GPS-приемников. Последним параметром, имеющим
значение, является порядок замкнутого контура PLL. В таблице 1 приведена тестовая сетка
конфигурации PLL, которая была исследована с помощью моделирования.
Таблица 1: Испытательная сетка для анализа
моделирования притяжения PLL
0.8
поддельна
0.6
Вероятность
я
блокировки
аутентичн
0.4
ая потеря
0.2 блокировк
и
0
-30 -20 -10 0 10 20 30
∆fD [Гц]
анализ.
В таблице 2 обобщены результаты многих тестов, подобных тому, что представлен на рис. 2. В
таблице указаны максимальные
|∆fD для
| высоконадежного захвата, определяемого как| наибольшее
| значение ∆fD , которое дает >
90% вероятности фиксации спуфинг-сигнала, в диапазоне преимуществ мощности спуфера η.
Оптимальное преимущество мощности спуфера для этих конфигураций составляет
приблизительно 8 дБ. Для η =| 8 дБ| ≥
все конфигурации, кроме 6 (которая страдает от низкого BPLL ),
имеют максимальную ∆fD 9,75 Гц. Эти диапазоны доплеровских частотных ошибок могут быть
преобразованы в ошибки
≈ оценки скорости в направлении соответствующего спутника GPS путем
масштабирования их на длину волны несущей GPS (0,1903 м для GPS L1). Это говорит о том, что
для скрытного захвата контура слежения требуется точность оценки скорости цели около 2 м/с.
Преимущество в мощности
спуфера η
2 дБ 3 дБ 5 дБ 8 дБ 10 дБ 12 дБ lim
η→∞
Три коммерческих приемника, представляющих те, которые используются в БПЛА, также были
протестированы в конфигурации по умолчанию: Javad Delta, Trimble Juno SB и ublox Lea-6N.
Результаты для этих приемников, приведенные в Таблице 4, показывают, что коммерческие
приемники гораздо более снисходительны к большим значениям ∆fD , чем приемник CASES,
полученный в результате численного моделирования. Действительно, все три приемника способны
фиксировать спуфинг-сигналы со значениями
|∆fD =
| 53 Гц (ошибки скорости 10 м/с) при преимуществах мощности спуфера до 1 дБ. Такое
надежное поведение объясняется тем, что коммерческие приемники обычно реализуют
различные уровни отслеживания несущей (например, откат контура частотной блокировки для
отказавшего PLL), чтобы выдержать жесткие условия отслеживания несущей на динамических
платформах. Как ни странно, надежное слежение коммерческих приемников делает их более
уязвимыми для спуфинга.
Пусть нормированный квадрат инноваций (NIS) определяется как NIS = νT S−1∈ν, где ν Rn z -
инновация измерения, а S∈ Rn z×nz - ковариационная матрица инноваций (Bar-Shalom et al., 2001). В
условиях отсутствия спуфинга, NIS при каждом обновлении измерений оценщика состояния
навигационной системы будет иметь распределение хи-квадрат с nz степенями свободы. Для того
чтобы избежать обнаружения с помощью тестирования инноваций, требуется гораздо более
высокая точность оценки спуфером положения и скорости целевого самолета, чем для захвата
GPS-приемника. Рассмотрим целевой БПЛА с оценщиком состояния, который использует только
GPS-измерения (без навигационных датчиков, не относящихся к GPS). Ковариация измерений
положения и скорости оценщика будет находиться в пределах точности GPS SPS, которая в
настоящее время составляет более 3 м по положению и 10 см/с по скорости (Misra and Enge, 2012).
Предположим, что оценщик состояния не испытывает никаких преимуществ фильтрации, поэтому
ковариация его оценки состояния равна ковариации измерений GPS. Даже при таких
благоприятных условиях подглядывающему будет трудно оценить положение и скорость БПЛА с
достаточной точностью для генерации имитационных сигналов, соответствующих точности SPS:
для 2σ надежности скрытого захвата с БПЛА, который выполняет 8-σ тестирование инноваций на
некоррелированных гауссовских инновациях, ковариация оценки положения и скорости БПЛА
подглядывающим, необходимая для скрытого захвата навигационного оценщика состояния,
меньше, чем ковариация, необходимая для скрытого захвата контура слежения GPS-приемника, по
крайней мере, в семь раз.
В данном разделе рассматривается управление после захвата как в скрытом, так и в открытом
сценариях. Для упрощения анализа предполагается, что целевой БПЛА является винтокрылым
аппаратом, а навигационная система цели основана на обычной конфигурации IMU с поддержкой
GPS.
4.1 Теоретический анализ постзахватного контроля
Роторные БПЛА (RUAV) обычно используют нелинейный оценочный прибор, такой как
расширенный фильтр Калмана, для оценки своего положения, скорости, ориентации и смещения
IMU на основе высокоскоростных IMU и низкоскоростных GPS измерений (Kendoul, 2012,
Christophersen et al., 2006). Оценка состояния подается на контроллер, функция которого обычно
делится на внешний и внутренний контур, с некоторым временным разделением между ними
(Kendoul, 2012). Внешний контур генерирует команды ориентации и тяги с помощью
пропорционально-производного (ПД) контроллера для отслеживания эталонной траектории
положения и скорости. Внутренний контур генерирует команды поверхности управления для
отслеживания положения, заданного внешним контуром. Учитывая слабую связь между
измерениями положения и скорости GPS и положением БПЛА, нельзя ожидать, что подмена GPS
повлияет на работу внутреннего контура, что и было подтверждено в ходе полевых испытаний.
Поэтому абстрактная модель БПЛА, представленная в следующем анализе, представляет только
поступательную динамику БПЛА, которая, как предполагается, не связана с динамикой
ориентации. Далее предполагается, что БПЛА может непосредственно и безупречно управлять
поступательными ускорениями. Немоделируемые возмущения устраняются с помощью
интегратора или адаптивных элементов (Christophersen et al., 2006), но предполагается, что
управляющее воздействие от этих элементов невелико. Без потери общности рассматривается
только одно из трех взаимно несвязанных поступательных измерений. Несмотря на свою простоту,
модель отражает основные элементы управления RUAV с помощью подмены GPS.
и вектор состояния x = [r, v]T , модель динамики установки имеет вид x˙ = Ax + Ba. БПЛА производит
смещенные измерения - ускорения am = a b, где b - смещение измерений, и потенциально
поддельные GPS измерения положения и скорости x⋆ = [r⋆ , v ]⋆T . Оценщик состояния БПЛА
моделируется как линейный квадратичный оценщик в устойчивом состоянии
dxˆ xˆ B
= Ae + L (x⋆ - x ˆ ) + m a
dt ˆb ˆb 0
с матрицей усиления Калмана L = [LT , LT ]T и
x b
AB
Ae = .
0 0
Пусть ошибка оценки
x
составляет x˜ xˆ -
=
˜b ˆb- b
и пусть C = I 0 . Тогда динамика ошибки оценки БПЛА описывается следующим образом
d x˜ x˜
= (Ae - LC) + L (x⋆ - x) .
dt ˜ ˜
b b
Поскольку (Ae , C) является наблюдаемой парой, собственные
- значения Ae LC могут быть
расположены в любом месте левой полуплоскости.
самолет. Пусть σ2 и σ2 - дисперсия шума измерений положения и скорости GPS, соответственно, и
пусть
x v
a¯ a
Gc P
xˆ
x
Ge
Цель управления спуфера - заставить БПЛА отслеживать некоторое эталонное положение r¯s
и скорость v¯s траектории с динамикой двойного интегратора x¯˙ s = A x ¯ s + Ba¯ s , где x ¯ s = [r¯s , v¯
]sT , управляемой эталонным ускорением a ¯ s . Если бы состояния БПЛА можно было оценить, то
спуфер мог бы реализовать контроллер с обратной связью по всем состояниям. Однако, при
типичных параметрах Q и R, состояние ˜b практически ненаблюдаемо. Поэтому для достижения
цели управления подслушивающим устройством реализуется оценщик и контроллер
уменьшенного порядка, основанный только на оценках положения, скорости и ускорения БПЛА. В
следующем разделе оценка a¯ также будет включена в стратегию спуфинга. Возможны
альтернативные конструкции для достижения целей спуфера, но для облегчения анализа в данной
работе рассматривается одна конструкция спуфера.
Спуфер оценивает положение, скорость и ускорение БПЛА на основе зашумленных измерений
положения и скорости с низкой скоростью. Оценщик использует модель третьего порядка для
отслеживания маневров БПЛА без смещения и обеспечения обратной связи по ускорению.
Оценщик спуфера моделируется как линейный квадратичный оценщик в устойчивом состоянии
d xˆ s
xˆs
s s
aˆs = Ae a + L (x - xˆ ) ,
dt
ˆs
где матрица усиления спуфера Калмана Ls = [(Ls )T , (L )sT ]T является решением ЦАРЭ с
соответствующими параметрами. x b
2 2
матрицы
скорость шума процесса и измерения, как в модели БПЛА. Пусть σ ¯ x и σ ¯ v - это положение и
дисперсия шума измерения, соответственно, и пусть σ ¯ 2 - шум измерения положения и скорости,
соответственно.
xv
дисперсия. Пусть
2
σ ¯ a - дисперсия шума процесса ускорения. Матрицы шума измерения и шума
процесса
для оценщика спуфера даются следующим образом
�
�0 0 0
σ¯
¯ R=
2
x σ¯2 xv ¯ = �0 0 0 � .
, Q
σxv σv
¯2 ¯2 00 σa¯ 2
Ковариация ошибки оценки спуфера в стационарном состоянии Ps является решением задачи CARE
a⋆ = a ˆ s + Ks (x ˆ s - x¯ ) s
где Ks = K Ks p
s .dНесмотря на то, что это не самая общая архитектура управления, компенсатор
ЧР является адекватным.
и позволяет провести прямой анализ устойчивости. В отличие от контроллера БПЛА,
произвольный выбор для
Ks > 0 не приведет к устойчивости системы БПЛА-пуфер. Для повышения устойчивости
системы БПЛА-спуфера измеренное ускорение a ˆ s добавляется к⋆ в контроллере спуфера, что
делает моделируемые спуфером ускорения лучше соответствующими динамике, предполагаемой
оценщиком БПЛА.
�X⋆� � � �
�A BK Bs -BKs �x⋆ 0 0�
d �xˆs � � 0 A - L Bs 0 � �xˆs��Ls 0�x
s �� = � sx � �s � + � x �
a .
s
dt �aˆ � � 0 -Lb 0 0 ��aˆ � b
x 0 0 0 A x 0 B ¯
¯s ¯s
�Ls 0
�
xs
x ˆa
ˆ
Gs
ˆs
Ge Ps a⋆ c
x⋆ a
¯s
Рисунок 4: Блок-схема замкнутой системы БПЛА-спуфера, показывающая взаимосвязи между
контроллером БПЛА Gc , установкой P и оценщиком Ge ; и контроллером
c спуфера Gs ,
установкой
e P и оценщиком G . Установка спуфера P воплощает динамику двойного
s s s
которое компактно можно записать как z˙ = Mz + Nu. Взаимосвязи между контроллером, установкой
и оценщиком БПЛА и контроллером, установкой и оценщиком спуфера представлены в виде блок-
схемы на рис. 4. Отметим, что полюса в начале координат, связанные с состояниями x¯ и x ¯ s , не
влияют на устойчивость замкнутой системы. Чтобы убедиться в этом, рассмотрим
преобразование состояния
� �
x¯
� x �
¯s
� �
x¯
-
z¯ = � � = Tz
- x
� �
�� ˆ xˆ ��
x⋆
˜b
x¯
-
s
xˆ-
s
xˆs
x
aˆs
где �
0 00 I 0 0 0 0 �
0 0 0 0 0 00 I
0 - I 0I 0 0 0 0
� 0 I 0 0 - I 0 0 0 �
T=
� 0 0 1 0 0 0 0 0 �.
0 0 0
0 00 0 - 0I 0I
�� 0 0 0
- I 0 �0 0 0 I 0 0�
Динамика преобразованной системы такова
z¯˙ = T M T −1 z¯ + TNu
(1)
= M¯ z¯ + N¯ u
где � A �
0
0 A
�
A - BK Lx -B 0 0 0 �
M¯ = � �
BK A - L Bx BK 0s -B
� 0 -L 0b 0 0 0
-B �
��� 0 0 0 A Lsx ���
-BK 0 0 0 A - Lx s B
0 0 0 0 -L 0 b
s
и
� B 0 �
0 B
� B 0 �
N¯ = � 0 0 � .
0 0
� 0 B ���
��
0 0
0 0
Используя ранее полученную динамику замкнутого цикла, устойчивое поведение системы БПЛА-
пуфер может быть обобщено ошибкой отслеживания позиции спуфера, определяемой как er (t) =
r(t) - r¯s (t). Если a ¯ L = limt→∞ a¯(t)
Рисунок 6: Увеличение стандартного отклонения шума измерения скорости спуфера σ ¯ v уменьшает
размер
2
стабильная область, представленная серым цветом. Другие параметры фиксированы: Kp = 1
Гц, Kd = 2 Гц, σx = 2 м,
σv = 0,3 м/с, σxv = 0, σa = 0,05 м/с2 , σb = 1,24 × 10−5 м/с3 , σ ¯ x = 2 м, σ ¯ x v = 0, и σ ¯ a = 0,5 м/с2 .
Предполагается, что во время управления после захвата, контуры слежения целевого GPS-
приемника были захвачены и имеют достаточную полосу пропускания для обработки
наложенной динамики. В этом случае спуфер может скрытно сохранять контроль над контурами
слежения путем введения общего временного смещения в имитируемые сигналы, что
обеспечивает незначительное искажение автокорреляции из-за взаимодействия с
подлинными сигналами. Таким образом, скрытность при управлении после захвата определяется
исключительно тестированием инноваций в навигационной системе оценки состояния БПЛА.
Как и в разделе 3.2.3, NIS является метрикой, используемой при тестировании инноваций, и
определяется как NIS , νT S−1 ν, где ν ∈ Rn z - инновация измерения, а S ∈ Rn z×nz - ковариация
инноваций (Bar-Shalom et al., 2001). В условиях отсутствия спуфинга NIS на каждой итерации
фильтра имеет распределение хи-квадрат с nz степенями свободы.
где νv R ∈
- инновация измерения скорости, а Sv R - элемент
∈ ковариационной матрицы инновации,
соответствующий инновации скорости. Для номинальных параметров системы, рассматриваемых в
данном разделе, оценщик состояния БПЛА имеет низкую ковариацию для состояния скорости, что
приводит к тестированию инноваций
который более чувствителен к инновациям скорости, чем к инновациям положения. Поскольку
≈ в
этом случае NISNISv , тестирование только скоростных инноваций обеспечивает разумное
приближение к полному тесту на скрытность.
В этом подразделе атака считается скрытой, если NISv остается ниже порога проверки гипотезы λv ,
то есть, если NIS⋆ , sup NISv (t) < λv . Поскольку тестируемая инновация измерения имеет только
один элемент,
v t
-1
порог может быть установлен как λv = F (1 - Pfa ), где F (-) - кумулятивная функция
распределения (CDF) от
распределение хи-квадрат с одной степенью свободы, а Pfa - желаемая вероятность ложной
тревоги. Для
Проверка гипотезы 5σ, λv ≈ 26,3.
Одна из границ входа-выхода для системы LTI имеет вид (Fadali и Visioli, 2013)
для входа u, выхода y и матрицы импульсного отклика H. Применяя эту границу между входом и
выходом,
1
NIS⋆ ≤ ||H|||2 ||a ¯||2 .
v ∞ ∞
Sv
Случай 1: Пусть a ¯ s равен нулю, так что цель управления спуфера - постоянная скорость.
Обозначим полученную упрощенную систему SISO как Hν,1 . Чтобы гарантировать скрытность,
должно
1 быть
2
выполнено
2
следующее условие: 1 2
Sv
||H || ν,1 ∞ ||a¯|| ∞ < λ v . Для номинальных параметров системы, рассмотренных в данном разделе, Sv
||H ||ν,1∞ ≈ 479.
Таким образом, ||a¯|| ∞ < 0,23 м/с2 подразумевает скрытность при проверке гипотезы 5σ.
Случай 2: Можно реализовать так называемую цель управления с учетом ускорения (AM), при
которой контроллер спуфера отслеживает только часть исходной цели с постоянной скоростью.
Для достижения траектории AM пусть a ¯ s = a ¯ , так что опорное ускорение спуфера
совпадает с ускорением БПЛА. Обозначим полученную упрощенную систему SISO как Hν,2 .
Чтобы
1
гарантировать
2 2
скрытность, должно быть выполнено следующее условие: 1 2
Sv
||H || ν,2 ∞ ||a¯|| ∞ < λv . Для номинальных параметров системы, рассматриваемых в данном
разделе, Sv ||H ||ν,2∞ ≈ 104.
Таким образом, ||a¯|| ∞ < 0,50 м/с2 подразумевает скрытность при проверке гипотезы 5σ.
Оценщик состояния моделируемого БПЛА представляет собой фильтр Калмана, который получает
GPS-измерения и смещенные измерения ускорения и оценивает вектор состояния x = [rT , vT , bT ]T ,
где r - двумерное положение, v - двумерная скорость, а b - состояние смещения акселерометра.
Измерения положения, скорости и ускорения искажены нулевым средним гауссовским шумом с
интенсивностями σx = 2 м, σv = 0,3 м/с и σa = 0,05 м/с2 , соответственно. Моделируемый контроллер
БПЛА представляет собой компенсатор ПД K = [1 2] в каждом измерении и отслеживает эталонную
траекторию, подавая команды ускорения u. Предполагается, что контроллер БПЛА внутренне
компенсирует динамику привода, чтобы команды ускорения выполнялись идеально. Состояния
положения и скорости БПЛА изменяются как дискретный двойной интегратор по ускорению,
-5 2
поступающему от исполнительных механизмов. Смещение акселерометра моделируется как
дискретный винеровский процесс с независимой интенсивностью приращения σb = 1.24 - 10 м/с .
Пусть ускорение, движущее опорную траекторию БПЛА a ¯ (t), будет таким, что образуется
квадратная траектория со стороной 100 м. На каждой стороне полученная скорость опорной
траектории нарастает от нуля до максимальной скорости 5 м/с, оставаясь постоянной. На каждой
стороне результирующая скорость опорной траектории изменяется от нуля до максимальной
скорости 5 м/с, остается на постоянной скорости, а затем уменьшается до нуля. Пусть ускорение,
движущее опорную траекторию спуфера a ¯ s (t), представляет собой импульс, который заставляет
опорную траекторию спуфера двигаться с постоянной скоростью 2 м/с в направлении восток-юго-
восток. Эта траектория будет называться исходной опорной траекторией спуфера.
На рисунке 7 показано двумерное положение БПЛА, оценка от эстиматора БПЛА и две опорные
траектории. Подстрекатель способен быстро переместить БПЛА в сторону от опорной траектории
БПЛА. Обратите внимание, что выходной сигнал эстиматора БПЛА остается вблизи опорной
траектории БПЛА. Ускорение опорной траектории БПЛА кажется спуферу возмущением, которое не
позволяет контроллеру спуфера довести ошибку слежения до нуля.
На рисунке 8 сравниваются значения NIS в каждом образце с пороговыми значениями 2-σ и 5σ.
Поскольку многие образцы значительно превышают порог 5σ, ожидается, что алгоритм
обнаружения неисправностей, даже если он очень консервативен, сработает при таком типе
атаки. Таким образом, динамика рис. 7 приводит к открытому контролю после захвата.
В вышеописанном моделировании контроллер спуфера пытается привести x - x ¯ s к нулю. Однако,
спуфер
100
50 Состоян
ие БПЛА Ссылка на
оценщик БПЛА
положение [м]
0
Северное
-50
пра
-100 вда
ссылка на
-150 злоумышленни
ка
0 50 100 150 200 250 300
Восточное положение [м]
Рисунок 7: Положение во время управления после захвата для квадратной опорной траектории БПЛА
и необработанной опорной траектории спуфера. БПЛА отслеживает опорную траекторию спуфера,
но ошибки отслеживания положения значительны.
200
150
НИ
С
100
50
0
0 50 100 150
время [с]
Рис. 8: NIS, полученный оценщиком состояния БПЛА для квадратной опорной траектории БПЛА и
необработанной опорной траектории спуфера. Нарисованы пороговые значения для проверки
гипотез 2 сигма и 5 сигма. Поскольку NIS превышает пороговые значения, атака объявляется
открытой.
может захотеть ослабить эту цель управления для улучшения скрытности. Как было представлено
в разделе 4.1.5, цель управления, согласованная с ускорением, может быть реализована таким
образом, что контроллер спуфера отслеживает только крупномасштабное поведение x ¯ s , в то
время как на более мелких масштабах он имитирует опорную траекторию БПЛА. В частности, AM
опорная траектория AM (t) , a ¯ s (t) + a ¯ e (t), где a ¯ e (t) - оценка подслушивающего
определяется как a ¯ s устройства о БПЛА.
опорной траектории либо (1) наблюдая один или несколько циклов повторяющейся траектории,
либо (2) "на лету".
обучение.
100
50
положение [м]
0
Ссылка на
Северное
БПЛА
-50 Состояние БПЛА
(пунктир)
-100 оценщик (сплошной)
истинный
ссылка на (твердый
злоумышленни )
-150 ка
(пунктир)
0 50 100 150 200 250 300
Восточное положение [м]
Рисунок 9: Положение во время управления после захвата для квадратной опорной траектории БПЛА
и опорной траектории AM-спуфера. БПЛА отслеживает опорную траекторию AM-спуфера с
небольшими ошибками отслеживания положения.
40
35
30
25
НИ
20
С
15
10
5
0
0 50 100 150
время [с]
Рис. 10: NIS, полученный оценщиком состояния БПЛА для опорной траектории квадратного БПЛА
и опорной траектории спуфера AM. Нарисованы пороги для проверки гипотез 2 сигма и 5 сигма.
Поскольку NIS не превышает порог 5 сигм, атака считается скрытой.
5 Полевая демонстрация
Было бы сложно провести эксперимент, подтверждающий все результаты, приведенные в разделе
4. Такой эксперимент потребовал бы отслеживания БПЛА PV в реальном времени, что является
тяжелым бременем как для исследователей, так и для потенциальных злоумышленников. Кроме
того, гипотетический эксперимент потребовал бы эфирной передачи в защищенных частотных
диапазонах и, таким образом, нарушил бы правила, относящиеся к этим частотным диапазонам, если
бы не было получено разрешение правительства. В связи с этими ограничениями демонстрация в
полевых условиях, представленная здесь, не подтверждает все моделирование и анализ в данной
статье; скорее, в этом разделе сообщается об открытой спуфинг-атаке на БПЛА, в ходе которой
спуфер ненадолго взял на себя управление целью, используя стратегию управления с открытым
контуром, без обратной связи с истинным положением и скоростью БПЛА. Эта демонстрация
является простым частным случаем сценариев захвата, которые были исследованы аналитически
и с помощью моделирования в предыдущих разделах. Важно отметить, что демонстрация
доказывает, что захват и управление навигационной системой, достаточные для того, чтобы
вызвать падение БПЛА, на самом деле возможны в полевых условиях.
Эксперимент по спуфингу GPS, о котором кратко сообщается в (Shepard et al., 2012a), в котором
использовался тот же спуфер и целевой БПЛА, что и в данном эксперименте, продемонстрировал
эффективную атаку спуфинга с воздуха. Испытания проводились в июне 2012 года на ракетном
полигоне Уайт-Сэндс во время учений под контролем Министерства национальной безопасности
США. В ходе испытания имитированные сигналы GPS передавались по воздуху с расстояния
примерно 620 м. Целевой самолет висел на высоте примерно 12 м над уровнем земли, когда
спуфер захватил его навигационную систему. Затем спуфер заставил захваченный GPS-приемник
выдать решения о положении и скорости, которые ложно указывали на то, что БПЛА движется
вверх. В результате БПЛА переместился вниз, чтобы исправить кажущееся отклонение от заданного
положения зависания. Поскольку спуфер осуществлял управление захваченным БПЛА в
разомкнутом контуре, движение БПЛА вниз было остановлено только тогда, когда пилот,
обеспечивающий безопасность, взял на себя ручное управление самолетом. Видеозапись
воздушного испытания доступна на сайте http://radionavlab.ae.utexas.edu/spoofing/drone-capture-
testimony-video.
5.1 Настройка
Целевой летательный аппарат, БПЛА Hornet Mini компании Adaptive Flight Incorporated,
представляет собой 4,5-килограммовый вертолет с передовой системой авионики. Набор
навигационных датчиков Hornet Mini состоит из IMU, магнитометра, баро-альтиметра и GPS-
приемника ublox. Навигационная система оценки состояния реализована в виде расширенного
фильтра Калмана (EKF). EKF игнорирует прямые измерения высоты GPS, полагаясь вместо этого
на баро-альтиметр, но GPS-приемник все равно влияет на оценку высоты через свои измерения
вертикальной скорости.
измерений (например, во время блокировки сигнала GPS). В этом режиме, называемом режимом
отказа от GPS, происходят два существенных изменения по сравнению с обычным режимом
работы. Во-первых, EKF Hornet Mini полностью игнорирует GPS-измерения для оценки состояния
транспортного средства. Во-вторых, Hornet Mini изменяет способ приема высокоуровневого
управляющего воздействия от человека-оператора, чтобы оператор мог противодействовать
дрейфу, возникающему в навигационной системе во время работы без GPS: если во время
навигации на основе GPS БПЛА принимает команды скорости, то в режиме без GPS он принимает
команды ускорения.
5.2 Результаты
Атака началась с того, что самолет-мишень завис в путевой точке на высоте 8,8 м над уровнем
земли. Затем спуфер начинал передавать имитированные сигналы GPS с уровнем мощности,
выбранным таким образом, чтобы η = 10 дБ. Начальное наведенное положение спуфера совпадало
с положением БПЛА, которое было известно спуферу. При передаче этих сигналов спуфер
захватывал целевой GPS-приемник, получая контроль над измерениями положения и скорости, но
не пытался немедленно изменить эти измерения ≈по сравнению с номинальным положением
зависания. Поэтому условие x⋆ x выполнялось во время и сразу после захвата приемника.
После захвата спуфер управлял БПЛА, заставляя захваченный GPS-приемник выдавать решения о
положении и скорости, которые показывали, что БПЛА движется на юг. БПЛА быстро
отреагировал, переместившись на север. Эффект атаки обобщен на рис. 12, где показано
северное положение из четырех источников: выход спуфера, GPS-приемник на БПЛА, EKF на
БПЛА и истинная траектория, восстановленная из бортовых GPS-измерений до и после атаки и
наблюдаемого движения во время эксперимента.
�0
�� 0 ≤ t ≤ 0.3
N (t) =
v⋆ -5(t - 0,2) 0,3 < t ≤ 1,3
��
-51.3 < t ≤ 3.8
∫ t
⋆ (t) = ⋆ (τ )dτ.
vN
rN
0
При t = 0,3 секунды спуфер начинает модулировать x⋆ , перемещая его в южном направлении в
пределах ускорения 5 м/с2 и скорости 5 м/с. Как видно на рис. 12, выходной сигнал EKF следует за
GPS-измерениями от захваченного приемника и начинает двигаться на юг со скоростью 5 м/с. Из-за
явного отклонения положения и скорости БПЛА от желаемого плана полета контроллер БПЛА дает
команду на мощное движение на север. Действия спуфера по захвату и управлению были
открытыми в соответствии с определениями, приведенными в разделах 3.2 и 4.1.5. Тем не менее,
атака осталась незамеченной, поскольку GPS-приемник и навигационная система БПЛА не были
разработаны даже с элементарной проверкой против спуфинга.
Войдя в режим отказа от GPS, оператор немедленно дает команду Hornet Mini ускориться в южном
направлении. Однако, поскольку режим отказа от GPS был разработан только для
противодействия естественному дрейфу навигационной системы, оператор не имеет достаточных
полномочий управления, чтобы остановить затянувшийся эффект спуфинга.
атаки, которые намного сильнее, чем естественный дрейф. В момент входа в режим отказа от
GPS абсолютная ошибка в оценке северной скорости |- | ≈ БПЛА составляет vˆN v 8 м/с и быстро
растет. При наличии достаточного свободного воздушного пространства оператор мог бы свести
даже такую большую ошибку скорости к нулю, дав команду на противодействующее ускорение, но
тесные экспериментальные условия, необходимые для атаки по кабелю, не позволили создать
достаточное воздушное пространство.
В момент t = 3,8 секунды истинное движение БПЛА на север приводит к отделению кабеля от
БПЛА. С t = 3,8 до t = 6,5 секунды GPS-приемник БПЛА подвергается травме из-за внезапного
перехода от отслеживания сигналов GPS, генерируемых спуфером, к подлинным сигналам GPS.
Положение, о котором сообщалось в течение этого переходного периода, на рис. 12 не показано.
После t = 6,5 секунды GPS-приемник БПЛА начинает точно сообщать истинное положение БПЛА.
Но в этот момент БПЛА быстро движется на север и теряет высоту, поскольку отсутствие
надлежащей обратной связи по скорости приводит к экстремальной истинной скорости - около
17 м/с, что нарушает предположения контура управления ориентацией БПЛА. Вскоре после
этого БПЛА терпит крушение.
6 Обсуждение
Предыдущий анализ и демонстрация показывают, что открытые методы захвата и управления БПЛА
практически реализуемы сегодня, в то время как скрытые методы значительно сложнее для
потенциального злоумышленника. Стоит отметить, что для подавляющего большинства
доступных в настоящее время коммерческих GPS-приемников и навигационных систем БПЛА
скрытый захват является синонимом открытого захвата. Например, управление БПЛА после захвата
в полевой демонстрации в разделе 5 было открытым по стандартам данной статьи; однако атака
не была обнаружена GPS-приемником жертвы или БПЛА.
Насколько известно авторам, все современные коммерческие гражданские GPS-приемники, даже те,
которые обеспечивают высокую целостность измерений, уязвимы к подделке гражданских GPS-
сигналов. Таким образом, представленные в данной статье методы широко применимы к
беспилотным летательным аппаратам, которые работают автономно или полуавтономно и зависят
от сигналов GPS для навигации. В навигационных системах летательных аппаратов могут
использоваться высокопроизводительные инерциальные датчики, но для полетов значительной
продолжительности необходимы измерения GPS, чтобы избежать дрейфа навигационного
решения, зависящего от строго не-GPS измерений. Таким образом, датчики с низким, но
ненулевым дрейфом ослабляют полномочия управления, возможные при атаке с подменой GPS,
но не предотвращают такую атаку.
7 Выводы
Полномочия спуфера по управлению целевым БПЛА после захвата были исследованы с помощью
упрощенных моделей для оценщика состояния БПЛА, установки и динамики контроллера. Анализ
динамики БПЛА и спуфера показал, что атака GPS-спуфинга может заставить БПЛА неосознанно
следовать траектории, навязанной спуфером. Было показано, что строгое верхнее ограничение на
величину траектории опорного ускорения БПЛА приводит к тому, что пример конструкции спуфера
проходит тест на скрытность, основанный на тестировании инноваций.
Наконец, полевые испытания показали, что разрушительная атака с подменой GPS против БПЛА с
вертолетом технически и оперативно осуществима. Эта демонстрация является доказательством
концепции для простого особого случая в широком классе атак GPS спуфинга против мобильных
целей.
Ссылки
Бахрах, А., Прентис, С., Хе, Р., и Рой, Н. (2011). RANGE-robust autonomous navigation in GPS-
denied environments. Журнал полевой робототехники, 28(5):644-666.
Бернштейн, Г. М., Либерман, М., и Лихтенберг, А. Дж. (1989). Нелинейная динамика цифровой
петли с фазовой автоподстройкой. IEEE Transactions on Communications, 37(10):1062-1070.
Чоудхари, Г., Джонсон, Е. Н., Магри, Д., Ву, А. и Шейн, А. (2013). Навигация и управление
беспилотными летательными аппаратами с помощью монокулярного зрения в помещении и за
дверью без GPS. Журнал полевой робототехники, 30(3):415-437.
Кристоферсен, Х. Б., Пикелл, Р. В., Нейдхофер, Дж. К., Коллер, А. А., Каннан, С. К., и Джонсон, Е.
Н. (2006). Компактная система наведения, навигации и управления для беспилотных
летательных аппаратов. Журнал аэрокосмических вычислений, информации и связи, 3(5):187-213.
Де Лоренцо, Д. С., Готье, Ж., Райф, Ж., Энге, П. и Акос, Д. (2005). Адаптивная обработка массива
для отклонения помех GPS. В материалах совещания ION GNSS, Лонг-Бич, Калифорния.
Институт навигации.
Дехганян, В., Нильсен, Дж. и Лашапель, Г. (2012). Обнаружение спуфинга ГНСС на основе оценок
C/No приемника. В материалах совещания ION GNSS, Нэшвилл, TN. Институт навигации.
Дюррант-Уайт, Х. и Бейли, Т. (2006). Одновременная локализация и картирование: часть I.
Журнал IEEE Robotics & Automation, 13(2):99-110.
Европейский союз (2010). Европейская ГНСС (Galileo) сигнал открытой службы в космосе
контрольный документ интерфейса. Технический отчет, Европейский союз.
http://ec.europa.eu/enterprise/policies/satnav/galileo/ open-service/.
Линдси, В. и Чие, К. М. (1981). Обзор цифровых циклов с фазовой блокировкой. Труды IEEE,
69(4):410-431.
Ло, С., Де Лоренцо, Д. С., Энге, П., Акос, Д., и Брэдли, П. (2009). Аутентификация сигнала. Inside
GNSS, 0(0):30-39.
Нуетци, Г., Вайс, С., Скарамуцца, Д., и Зигварт, Р. (2011). Объединение IMU и зрения для
абсолютной оценки масштаба в монокулярном SLAM. Журнал интеллектуальных и
робототехнических систем, 61(1):287-299.
О'Хэнлон, Б. В., Псиаки, М. Л., Бхатти, Дж. А., и Хамфрис, Т. Е. (2012). Обнаружение спуфинга
в реальном времени с использованием корреляции между двумя гражданскими GPS-
приемниками. В материалах совещания ION GNSS, Нэшвилл, TN. Институт навигации.
О'Хэнлон, Б. В., Псиаки, М. Л., Пауэлл, С. П., Бхатти, Ж. А., Хамфрис, Т. Е., Кроули, Г., и Буст, Г. С.
(2011). CASES: Умный, компактный программный GPS-приемник для мониторинга космической
погоды. В материалах совещания ION GNSS, Портленд, ОР. Институт навигации.
Psiaki, M. L., O'Hanlon, B. W., Bhatti, J. A., and Humphreys, T. E. (2011). Обнаружение спуфинга GPS
для гражданских лиц на основе корреляции военных сигналов с помощью двух приемников. В
материалах совещания ИОН по ГНСС, Портленд, ОР. Институт навигации.
Psiaki, M. L., O'Hanlon, B. W., Bhatti, J. A., Shepard, D. P., and Humphreys, T. E. (2013). Обнаружение
спуфинга GPS с помощью корреляции военных сигналов с помощью двух приемников. IEEE
Transactions on Aerospace and Electronic Systems, 49(4):2250-2267.
Рао, Б. Р., Розарио, Е. Н., и Дэвис, Р. Дж. (2006). Анализ диаграммы направленности
излучения установленных на самолете антенн GPS и проверка с помощью испытаний
масштабной модели. В материалах совещания IEEE/ION PLANS. Институт навигации.
Шепард, Д. П., Бхатти, Дж. А., Хамфрис, Т. Е., и Фэнслер, А. А. (2012a). Оценка уязвимости
интеллектуальных сетей и гражданских БПЛА к атакам спуфинга GPS. В материалах
совещания ION GNSS, Нэшвилл, TN. Институт навигации.
Шепард, Д. П. и Хамфрис, Т. Е. (2011). Характеристика реакции приемника на атаку спуфинга. In
Труды совещания ION GNSS, Портленд, ОР. Институт навигации.
Шепард, Д. П., Хамфрис, Т. Е., и Фэнслер, А. А. (2012b). Оценка уязвимости блоков измерения
фазоров к атакам GPS-спуфинга. Международный журнал по защите критической
инфраструктуры, 5(3-4):146-153.
Спилкер-младший, Дж. Дж. (1996). Глобальная система позиционирования: Теория и приложения, глава
3: Структура сигнала GPS и теоретические характеристики, страницы 57-119. Американский
институт аэронавтики и астронавтики, Вашингтон, округ Колумбия.