Equation 2: Signal Authentication - Inside GNSS