Equation 1: Signal Authentication - Inside GNSS