Geodetic dual-frequency GPS receivers under anti-spoofing