This paper describes a position verification method for the aircraft position reporting system called Automatic Dependent Surveillance -Broadcast (ADS-B). The verification method exploits a wireless signal feature, in particular, Time Difference of Arrival (TDOA). In this paper, the principle of the method is firstly described in a generalized form with several possible features. A formulation specific for TDOA is then given. Finally, an experimental result is provided. This ADS-B example is expected to be a useful reference for other position reporting systems.