Visible to the public Secure Location Verification with a Mobile Receiver

TitleSecure Location Verification with a Mobile Receiver
Publication TypeConference Paper
Year of Publication2016
AuthorsBaker, Richard, Martinovic, Ivan
Conference NameProceedings of the 2Nd ACM Workshop on Cyber-Physical Systems Security and Privacy
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-4568-2
Keywordscomposability, CPS modeling, drones, Metrics, pubcrawl, Resiliency, secure location verification, simulation, time-difference-of-arrival, UAVs

We present a technique for performing secure location verification of position claims by measuring the time-difference of arrival (TDoA) between a fixed receiver node and a mobile one. The mobile node moves randomly in order to substantially increase the difficulty for an attacker to make false messages appear genuine. We explore the performance and requirements of such a system in the context of verifying aircraft position claims made over the Automatic Dependent Surveillance - Broadcast (ADS-B) system through the use of simulation and find that it correctly detects false claims with a peak accuracy of over 97\textbackslash% for the most complex attack modelled; requiring only 75m of deviation between the reported position and the actual position in order for a false claim to be detected. We then report on our design for a mobile receiver and our construction of a prototype using low-cost COTS equipment. We discuss some additional benefits of incorporating a mobile node, examine the difficulties to be overcome and explore the applicability of the approach in other location verification use-cases.

Citation Keybaker_secure_2016