To improve flight safety, high altitude platforms (HAPs) must broadcast their motion state information (i.e., position and velocity) to surrounding aircrafts and ground stations for the purpose of collision-avoidance. However, an attacker may send spoofed signals to the global positioning system (GPS) receiver equipped on the HAP, which will mislead the HAP into calculating false position and velocity. Hence it is crucial to verify the motion claims of HAPs. We propose a secure motion verification scheme which utilizes the angle of arrival (AOA), time difference of arrival (TDOA), and frequency difference of arrival (FDOA) features within the broadcasted signal to estimate the motion state of the HAP. The proposed estimation scheme formulates a mathematical optimization problem to minimize the difference between AOA, TDOA, FDOA measurements and geometric derivations. Then we introduce a Levenberg-Marquardt based algorithm to solve the optimization problem and obtain the estimated position and velocity. Finally, we carry out real-world experiments with an airship released in Hami city to demonstrate the feasibility of the motion verification scheme and results show that the scheme can accurately detect false motion claims.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Secure Motion Verification for High Altitude Platforms with a Hybrid AOA-TDOA-FDOA Scheme

  • Yuanyuan Wang,
  • Chi Zhang,
  • Miao Pan

摘要

To improve flight safety, high altitude platforms (HAPs) must broadcast their motion state information (i.e., position and velocity) to surrounding aircrafts and ground stations for the purpose of collision-avoidance. However, an attacker may send spoofed signals to the global positioning system (GPS) receiver equipped on the HAP, which will mislead the HAP into calculating false position and velocity. Hence it is crucial to verify the motion claims of HAPs. We propose a secure motion verification scheme which utilizes the angle of arrival (AOA), time difference of arrival (TDOA), and frequency difference of arrival (FDOA) features within the broadcasted signal to estimate the motion state of the HAP. The proposed estimation scheme formulates a mathematical optimization problem to minimize the difference between AOA, TDOA, FDOA measurements and geometric derivations. Then we introduce a Levenberg-Marquardt based algorithm to solve the optimization problem and obtain the estimated position and velocity. Finally, we carry out real-world experiments with an airship released in Hami city to demonstrate the feasibility of the motion verification scheme and results show that the scheme can accurately detect false motion claims.