PDF

Description

Accurate localization from Cyber-Physical Systems (CPS) is a critical enabling technology for context aware applications and CPS control. As localization plays an increasingly safety-critical role, location systems must be able to identify and eliminate faulty measurements to prevent dangerously inaccurate localization. In this paper we consider the range-based localization problem and propose a method to detect coordinated adversarial corruption on anchor positions and distance measurements. Our algorithm, Gordian, rapidly finds attacks by identifying geometric inconsistencies at the graph level without requiring assumptions about hardware, ranging mechanisms or cryptographic protocols. We give necessary conditions for which attack detection is guaranteed to be successful in the noiseless case, and use that intuition to extend Gordian to the noisy case where fewer guarantees are possible. In simulations generated from real-world sensor noise, we empirically show Gordian’s trilateration counterexample generation procedure enables rapid attack detection even for combinatorially difficult problems.

Details

Files

Statistics

from
to
Export
Download Full History