Geodetic dual-frequency GPS receivers under anti-spoofing by P.G. Sluiter