Information-Theoretic Location Verification System With Directional Antennas for Vehicular Networks | IEEE Journals & Magazine | IEEE Xplore