Secure Motion Verification for High Altitude Platforms with a Hybrid AOA-TDOA-FDOA Scheme
摘要
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.