Machine Learning and Location Verification in Vehicular Networks

Location information will play a very important role in emerging wireless networks such as Intelligent Transportation Systems, 5G, and the Internet of Things. However, wrong location information can result in poor network outcomes. It is therefore critical to verify all location information before further utilization in any network operation. In recent years, a number of information-theoretic Location Verification Systems (LVSs) have been formulated in attempts to optimally verify the location information supplied by network users. Such LVSs, however, are somewhat limited since they rely on knowledge of a number of channel parameters for their operation. To overcome such limitations, in this work we introduce a Machine Learning based LVS (ML-LVS). This new form of LVS can adapt itself to changing environments without knowing the channel parameters. Here, for the first time, we use real-world data to show how our ML-LVS can outperform information-theoretic LVSs. We demonstrate this improved performance within the context of vehicular networks using Received Signal Strength (RSS) measurements at multiple verifying base stations. We also demonstrate the validity of the ML-LVS even in scenarios where a sophisticated adversary optimizes her attack location.

[1]  Heiga Zen,et al.  Statistical parametric speech synthesis using deep neural networks , 2013, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing.

[2]  Shihao Yan,et al.  Location Verification Systems in Emerging Wireless Networks , 2013, ArXiv.

[3]  Shihao Yan,et al.  Location Verification Systems Under Spatially Correlated Shadowing , 2014, IEEE Transactions on Wireless Communications.

[4]  Martín Abadi,et al.  TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems , 2016, ArXiv.

[5]  Tom Drummond,et al.  Machine Learning for High-Speed Corner Detection , 2006, ECCV.

[6]  J. Copas,et al.  Interpreting Kullback-Leibler divergence with the Neyman-Pearson lemma , 2006 .

[7]  E. S. Pearson,et al.  On the Problem of the Most Efficient Tests of Statistical Hypotheses , 1933 .

[8]  Nicola Laurenti,et al.  Optimization of anchor nodes' usage for location verification systems , 2017, 2017 International Conference on Localization and GNSS (ICL-GNSS).

[9]  Ji Wan,et al.  Deep Learning for Content-Based Image Retrieval: A Comprehensive Study , 2014, ACM Multimedia.

[10]  Shihao Yan,et al.  Location Verification Systems for VANETs in Rician Fading Channels , 2014, IEEE Transactions on Vehicular Technology.

[11]  Andrew G. Dempster,et al.  Artificial Intelligence and Location Verification in Vehicular Networks , 2019, 2019 IEEE Global Communications Conference (GLOBECOM).

[12]  Shihao Yan,et al.  Optimal Information-Theoretic Wireless Location Verification , 2012, IEEE Transactions on Vehicular Technology.

[13]  Lukás Burget,et al.  Analysis of DNN approaches to speaker identification , 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[14]  Giorgio Maria Di Nunzio,et al.  Location-Verification and Network Planning via Machine Learning Approaches , 2019, 2019 International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT).

[15]  Ivan Martinovic,et al.  Get in Line: Ongoing Co-presence Verification of a Vehicle Formation Based on Driving Trajectories , 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).

[16]  Mauro Conti,et al.  Secure Verification of Location Claims on a Vehicular Safety Application , 2013, 2013 22nd International Conference on Computer Communication and Networks (ICCCN).

[17]  Richard Demo Souza,et al.  Information-Theoretic Location Verification System With Directional Antennas for Vehicular Networks , 2016, IEEE Transactions on Intelligent Transportation Systems.

[18]  Shihao Yan,et al.  Timing information in wireless communications and optimal location verification frameworks , 2014, 2014 Australian Communications Theory Workshop (AusCTW).

[19]  Hannes Hartenstein,et al.  A tutorial survey on vehicular ad hoc networks , 2008, IEEE Communications Magazine.

[20]  Haizhou Li,et al.  End-to-End Hierarchical Language Identification System , 2018, 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[21]  Bo Yu,et al.  Detecting Sybil attacks in VANETs , 2013, J. Parallel Distributed Comput..

[22]  Pengfei Zhang,et al.  Cooperative location verification for vehicular ad-hoc networks , 2012, 2012 IEEE International Conference on Communications (ICC).

[23]  Abdul Hanan Abdullah,et al.  Location information verification using transferable belief model for geographic routing in vehicular ad hoc networks , 2017 .

[24]  Tara N. Sainath,et al.  Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups , 2012, IEEE Signal Processing Magazine.

[25]  Marco Fiore,et al.  A-VIP: Anonymous verification and inference of positions in vehicular networks , 2013, 2013 Proceedings IEEE INFOCOM.

[26]  JooSeok Song,et al.  An Efficient Location Verification Scheme for Static Wireless Sensor Networks , 2017, Sensors.