Keys through ARQ: Theory and Practice

TL;DR

This paper introduces a new framework leveraging ARQ protocols for secure key sharing in wireless networks, analyzing theoretical limits, proposing practical coding schemes, and demonstrating real-world security enhancements in Wi-Fi systems.

Contribution

It provides a comprehensive theoretical and practical approach to ARQ-based secrecy, including novel insights on channel correlation, adaptive rate policies, and implementation in Wi-Fi networks.

Findings

Non-zero secrecy rates achievable even with less noisy eavesdropper channels

Proposed ARQ secrecy coding with low complexity

Effective mitigation of Wi-Fi attacks with minimal protocol modifications

Abstract

This paper develops a novel framework for sharing secret keys using the Automatic Repeat reQuest (ARQ) protocol. We first characterize the underlying information theoretic limits, under different assumptions on the channel spatial and temporal correlation function. Our analysis reveals a novel role of "dumb antennas" in overcoming the negative impact of spatial correlation on the achievable secrecy rates. We further develop an adaptive rate allocation policy, which achieves higher secrecy rates in temporally correlated channels, and explicit constructions for ARQ secrecy coding that enjoy low implementation complexity. Building on this theoretical foundation, we propose a unified framework for ARQ-based secrecy in Wi-Fi networks. By exploiting the existing ARQ mechanism in the IEEE 802.11 standard, we develop security overlays that offer strong security guarantees at the expense of only minor modifications in the medium access layer. Our numerical results establish the achievability of non-zero secrecy rates even when the eavesdropper channel is less noisy, on the average, than the legitimate channel, while our linux-based prototype demonstrates the efficiency of our ARQ overlays in mitigating all known, passive and active, Wi-Fi attacks at the expense of a minimal increase in the link setup time and a small loss in throughput.