Equation 3: Signal Authentication - Inside GNSS