Equation 6: Signal Authentication - Inside GNSS