190 likes | 208 Views
This submission presents a PHY-level technique to protect measurement symbols from Type B adversary attacks by detecting and suppressing them. It discusses the need for high security in applications like door locks and ATMs and outlines the procedures for detecting and suppressing adversary attacks at the PHY level. The scheme involves conducting two sounding measurements within channel coherence time and utilizing a random binary sequence to counter spoofing. The proposed method enhances robustness and resilience against adversary attacks.
E N D
Date: 2017-04-20 PHY-Level Security Protection Authors:
Previously in [1][2], we identified a threat model with two types of adversaries: • Type A 1ms response time • Type B 1us response time • In this submission, we present a scheme to detect and suppress Type B adversary attacks at PHY level [1] 20161129r1, Intel Secured Location Threat Model [2] 20170313r0, Intel Discussion on FTM Protection – follow up Abstract
PHY-level technique to protect measurement symbols: • Prevention of wrong sense of distance through detection of adversary attack: • Discarding contaminated measurements ensures security • Suppression of adversary attack: • Suppressing adversary attacks enhances robustness Outline
Some applications require high security • Door lock, PC lock, ATM • Spoofed measurement should be discarded to prevent property loss Needs for High Security
L-STF & L-LTF give the timing reference to the VHT-LTF, which could be spoofed by the adversary HW Impersonation/Data Integrity – How to Spoof Legacy Sounding RSTA (AP) Transmission Note: Quotation of Slide 11 in [1]
Although transmissions of time stamps i.e. t1, t2, t3, t4 can be encrypted, the measurements of t2 and t4 themselves are still vulnerable MAC protection is insufficient Adversary STA AP t1 t2 Spoofed 1st tap arrives before the true one t3 t4' RTT is perceived smaller because t4'-t1 < t4-t1 t4
Detecting adversary attack ensures security • Once adversary attack is detected, spoofed measurement can be discarded and further damage is prevented • Suppressing attack signals enhances resilience • Processing gain of random sounding sequence suppresses spoofing signal Goals
Conduct two sounding measurements within channel coherence time Shift 2nd sounding symbols (i.e. HE-LTF or VHT-LTF) by a random CSD unknown to spoofer Check consistency across two channel measurements Adversary Detection CSD e.g. 170 ns applied to HE-LTF DL NDP 2 TF 2 UL NPD 2 DL NDP 1 TF 1 UL NPD 1 NDP-A 2 NDP-A 1 Channel measurement 1 Channel measurement 2
Transmitter: • Transmit two sounding signals within channel coherence time e.g. 1ms • Apply CSD to 2nd sounding signal, where CSD value is known to the receiver over encrypted message so that spoofer can’t adapt to the CSD • Receiver: • Remove the CSD from each measurement, and compare the channel estimates of two adjacent measurements • Channel estimates should be consistent unless spoofing occurred Procedures Channel estimates from 1st measurement Channel estimates from 2nd measurement Inconsistent Due to spoofer Due to user
Spoofing detection by CSD requires almost no implementation changes • CSD is currently used in legacy transmitter and receiver. For example, CSD is compensated before channel interpolation in 11n/ac/ax • Adversary attack can be detected but can’t be suppressed by random CSD Discussions
Replace existing sounding signal (i.e. LTF binary sequence) by a random binary sequence unknown to spoofer • Sequence generation key is exchanged and encrypted before measurement Suppression of Adversary Attack— Random sounding symbols L-STF, L-LTF, L-SIG, RL-SIG, HE-SIG-A Random BPSK sequence HE-STF +1, -1,+1, +1, +1, -1, -1, …
Suppressed Spoofing Impact True 1st tap With Legacy LTF symbols Spoofed 1st tap Noise level Concentrated, high power spoofed taps True 1st tap With random sounding symbols Noise level Spread, low power spoofed taps
Suppress spoofed 1st tap by about 20 dB for 80 MHz sounding 20 dB Suppression True 1st tap Spoofed 1st tap
MAC protection is insufficient for preventing Type B spoofing and PHY protection is needed Type B spoofing can be detected by using CSD unknown to spoofer Type B spoofing can be suppressed by using randomized sounding signal Summary
Instead of 1x LTF symbol duration, 4x LTF symbol duration may be used • 6 dB processing gain • Instead of 1 OFDM symbol, the random sounding signal may spread over 8 OFDM symbols • 9 dB processing gain Additional Suppression to Adversary
Do you agree that the scheme of slide 8 (CSD) is sufficient to detect Type B adversary? • Yes • No • Abstain Straw poll 1
Do you agree that the scheme of slide 11 (processing gain) is useful to suppress Type B adversary? • Yes • No • Abstain Straw poll 2
Do you agree that the scheme of slide 8 (CSD) is useful to detect Type B adversary? • Yes • No • Abstain Straw poll 3