Identification of Authentic GNSS Signals in Time-Differenced Carrier Phase Measurements with a Software Defined Radio