PT  - JOURNAL ARTICLE
AU  - Mina, Tara
AU  - Kanhere, Ashwin
AU  - Kousik,, Shreyas
AU  - Gao, Grace
TI  - Stochastic Reachability-Based GPS Spoofing Detection with Chimera Signal Enhancement
AID  - 10.33012/navi.616
DP  - 2023 Dec 21
TA  - NAVIGATION: Journal of the Institute of Navigation
PG  - navi.616
VI  - 70
IP  - 4
4099  - https://navi.ion.org/content/70/4/navi.616.short
4100  - https://navi.ion.org/content/70/4/navi.616.full
SO  - NAVIGATION2023 Dec 21; 70
AB  - To protect civilian global positioning system (GPS) users from spoofing attacks, the U.S. Air Force Research Lab has proposed the chips-message robust authentication (Chimera) enhancement for the L1C signal. In particular, the Chimera fast channel allows users to authenticate the received GPS signal once every 1.5 or 6 s, depending on the out-of-band source utilized for receiving the fast channel marker keys. However, for many moving receiver applications, receivers often use much higher GPS measurement rates, at 5–20 Hz.In this work, we derive a stochastic reachability (SR)-based detector to perform continuous GPS signal verification and state estimation between Chimera authentications. Our SR detector validates the received GPS measurement against any self-contained sensor, such as an inertial measurement unit, in the presence of bounded biases in the sensor error distributions. We demonstrate via Monte Carlo simulations that our detector satisfies a user-defined false alarm requirement during nominal conditions, while successfully detecting a simulated spoofing attack. We further demonstrate that our SR state estimation filter successfully bounds the true state during both authentic and spoofed conditions.