[論文レビュー] 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）を提案する。低自己相関信号としきい値を有する3値意思決定関数を活用することで、信号キャンセレーションおよびオーバーレイ攻撃に対して耐性を示し、100 bpsで14 dB SNRの条件下でビット誤り率が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）のための、使用可能なハードウェアに依存しない帯外チャネルの不足に対処すること。
• NFC、カメラ、振動モーターなどの専用ハードウェアに依存する既存のSDP方式の制限を克服すること。
• 標準スマートフォンに内蔵されたスピーカーおよびマイクのみを用いて、安全で低相互作用なペアリングを可能にすること。
• 従来の音響SDPプロトコルで一般的な手動の検証手順を不要とする物理層認証メカニズムを設計すること。
• 音響チャネルにおける信号キャンセレーションおよび信号オーバーレイ攻撃などのアクティブ攻撃に対して耐性を示すこと。

提案手法

• Čapkunらのインテグリティコードを基盤とし、音響波形に適応させた音響整合性コード（AICs）を設計する。
• 自己相関が低い信号（例：ガウス分布）を用いることで、オンスロットとオフスロットのエネルギー間の相関を最小限に抑え、信号キャンセレーション攻撃に対して耐性を発揮する。
• 受信側に設定可能な検出しきい値を持つ3値意思決定関数を実装し、悪意ある信号を検出し拒否する。
• 意思決定関数を用いて正当なオン／オフスロットと攻撃者によって改ざんされた信号を区別し、信号オーバーレイ攻撃の検出を可能にする。
• 帯域幅、信号対雑音比（SNR）、および総ビットレートなどのシステムパラメータを最適化し、耐性とデータレートのバランスを図る。
• ファームウェare やハードウェアの変更を避けるために、ユーザー空間での音声I/Oを用いてAndroidスマートフォン上でプロトタイプを実装する。

実験結果

リサーチクエスチョン

• RQ1 専用ハードウェアを必要とせず、ハードウェアに依存しない帯外チャネルとして音響通信を安全にデバイスペアリングに利用できるか？
• RQ2 音響チャネルにおいて物理層の整合性をどのように確保できるか、信号キャンセレーションおよびオーバーレイ攻撃を防げるか？
• RQ3 実際のチャネル環境下で低ビット誤り率を達成するために必要な信号設計パrameter（自己相関、帯域幅、SNRなど）は何か？
• RQ4 しきい値を有する3値意思決定関数は、ノイズおよび干渉に対して耐性を保ちつつ、アクティブ攻撃をどの程度検出できるか？
• RQ5 標準Androidデバイスの音声ハードウェアのみを用いて、実用的でオープンソースのSDPプロトコルを実装できるか？

主な発見

• AICsは、100 bpsのネットビットレートおよび14 dB SNRの条件下でビット誤り率（BER）が0.1%未満に抑えられ、現実的な条件下での高い信頼性を示した。
• 450 bps未満の総ビットレートおよび11 dB以上のSNRで、4 kHzを超える帯域幅を用いる場合、BERは1%未満に保たれる。
• 自己相関が低い信号（例：ガウス分布）を用いることで、信号キャンセレーション攻撃が効果的に抑制される。
• 3値意思決定関数は、正当なオン／オフスロットと攻撃者によって挿入された信号を区別することで、信号オーバーレイ攻撃を効果的に検出する。
• 検出しきい値はBERに顕著な影響を及ぼす。最適な性能は、しきい値を平均信号パワーのわずか下回る位置に設定した場合に得られ、ISIに起因する誤りと偽陰性の両方を回避できる。
• 低ビットレートでは、シンボル間干渉（ISI）が低減するため耐性が向上し、低レート伝送ではより広い範囲の有効な検出しきい値が得られる。