[论文解读] Acoustic Integrity Codes: Secure Device Pairing Using Short-Range Acoustic Communication

Florentin Putz, María Flor Álvarez Taboada+1 more|arXiv (Cornell University)|May 18, 2020

User Authentication and Security Systems参考文献 36被引用 4

一句话总结

本文提出声学完整性码（AICs），一种物理层安全方案，利用现成智能手机的短程音频通信实现安全设备配对。通过利用低自相关信号和带阈值的三元判决函数，AICs 抵御信号抵消与掩盖攻击，在 100 bps 速率下信噪比（SNR）为 14 dB 时误码率低于 0.1%。

ABSTRACT

Secure Device Pairing (SDP) relies on an out-of-band channel to authenticate devices. This requires a common hardware interface, which limits the use of existing SDP systems. We propose to use short-range acoustic communication for the initial pairing. Audio hardware is commonly available on existing off-the-shelf devices and can be accessed from user space without requiring firmware or hardware modifications. We improve upon previous approaches by designing Acoustic Integrity Codes (AICs): a modulation scheme that provides message authentication on the acoustic physical layer. We analyze their security and demonstrate that we can defend against signal cancellation attacks by designing signals with low autocorrelation. Our system can detect overshadowing attacks using a ternary decision function with a threshold. In our evaluation of this SDP scheme's security and robustness, we achieve a bit error ratio below 0.1% for a net bit rate of 100 bps with a signal-to-noise ratio (SNR) of 14 dB. Using our open-source proof-of-concept implementation on Android smartphones, we demonstrate pairing between different smartphone models.

研究动机与目标

• 解决普遍计算环境中安全设备配对（SDP）缺乏可用、硬件无关的带外信道的问题。
• 克服现有 SDP 方案依赖专用硬件（如 NFC、摄像头或振动马达）的局限性。
• 仅使用标准智能手机内置的音频硬件（扬声器与麦克风）实现安全、低交互的配对。
• 设计一种物理层认证机制，消除先前声学 SDP 协议中常见的手动验证步骤。
• 确保对主动攻击（如信号抵消与信号掩盖）的鲁棒性。

提出的方法

• 基于 Čapkun 等人提出的完整性码设计声学完整性码（AICs），并将其适配至声学波形。
• 使用低自相关信号（如高斯分布信号）以最小化时隙内与时隙外能量的相关性，从而抵抗信号抵消攻击。
• 在接收端实现带可配置检测阈值的三元判决函数，以检测并拒绝恶意信号。
• 将判决函数应用于区分合法的开启/关闭时隙与攻击者修改的信号，从而实现对信号掩盖攻击的检测。
• 优化系统参数，包括带宽、信噪比（SNR）和总比特率，以在鲁棒性与数据速率之间取得平衡。
• 在 Android 智能手机上实现概念验证，采用用户空间音频 I/O，避免固件或硬件修改。

实验结果

研究问题

• RQ1 声学通信能否在无需专用硬件的情况下，作为安全、硬件无关的带外信道用于设备配对？
• RQ2 如何在声学信道中强制实施物理层完整性，以防止信号抵消与掩盖攻击？
• RQ3 在真实信道条件下，实现低误码率所需的信号设计参数（如自相关性、带宽、SNR）是什么？
• RQ4 带阈值的三元判决函数在多大程度上可检测主动攻击，同时保持对噪声与干扰的鲁棒性？
• RQ5 能否在仅使用音频硬件的标准 Android 设备上实现一种实用的开源 SDP 协议？

主要发现

• AICs 在净比特率为 100 bps、信噪比（SNR）为 14 dB 时，误码率（BER）低于 0.1%，在真实条件下表现出高可靠性。
• 当总比特率低于 450 bps 且 SNR 超过 11 dB 时，若带宽大于 4 kHz，BER 保持在 1% 以下。
• 通过使用低自相关信号（如高斯分布信号），可有效缓解信号抵消攻击。
• 三元判决函数通过区分合法的开启/关闭时隙与攻击者注入的信号，成功检测到信号掩盖攻击。
• 检测阈值显著影响 BER：当阈值设置在平均信号功率略低于的位置时，性能最优，可避免由符号间干扰（ISI）引起的错误与漏检。
• 在较低比特率下，由于符号间干扰（ISI）减少，鲁棒性提高，且低速率传输具有更宽的可行检测阈值范围。