An embodiment method comprises receiving a satellite signal in a tracking channel, generating a set of replicas of a pseudo random noise sequence, comprising a punctual replica and a plurality of replicas that are different in time with respect to the punctual replica over a given time spacing, correlating the received signal with each replica to obtain amplitude correlation values, monitoring the tracking channel to detect a spoofed signal by generating a further plurality of replicas of the pseudo random noise sequence having a respective time spacing greater than the given time spacing, correlating the received signal of the tracking channel with each further replica to obtain further amplitude correlation values, calculating a shape anomaly factor based on the further correlation amplitude values, verifying the shape anomaly factor is greater than a given shape anomaly threshold, and signaling detection of a spoofed signal on the tracking channel.