Gordian
Abstract
Accurate localization from Cyber-Physical Systems (CPS) is a critical enabling technology for context-aware applications and 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 article, we consider the range-based localization problem and propose a method to detect coordinated adversarial corruption on anchor positions and distance measurements. Our algorithm, G ordian , 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 we use that intuition to extend G ordian to the noisy case where fewer guarantees are possible. In simulations generated from real-world sensor noise, we empirically show that G ordian ’s trilateration counterexample generation procedure enables rapid attack detection even for combinatorially difficult problems.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 18, 2020
- Source ID
- 10.1145/3386568
Entities
People
- Alberto Sangiovanni-Vincentelli
- Baihong Jin
- Edward A. Lee
- Gil Lederman
- Matthew Weber
- Sanjit Seshia
- Yasser Shoukry
Organizations
- Defense Advanced Research Projects Agency
- Denso
- Ford Foundation
- National Science Foundation
- Semiconductor Research Corporation
- Siemens
- Toyota
- University of California
- University of California, Berkeley