Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks