Anti-Spoofing Extended Kalman Filter for Satellite Navigation Receiver | IEEE Conference Publication | IEEE Xplore