[論文レビュー] Multi-factor Physical Layer Security Authentication in Short Blocklength Communication

Miroslav Mitev, Mahdi Shekiba-Herfeh+2 more|arXiv (Cornell University)|Oct 27, 2020

Wireless Communication Security Techniques参考文献 57被引用数 5

ひとこと要約

本稿は、低遅延性を求めるIoTアプリケーション向けに、軽量で多因子の物理層セキュリティ認証プロトコルを提案する。物理的不可再現関数（PUFs）、移動性に基づく近接検出、および無線フェージング係数からの秘密鍵生成（SKG）を統合する。短いブロック長コード（LDPC、BCH、Polar-Slepian-Wolf）を用いて高性能なSKGを実現し、BAN/MB論理およびTamarin-proverによる形式的セキュリティ検証を経て0-RTTリsumeを達成し、高速かつフォワードセキュアな相互認証を可能にする。

ABSTRACT

Lightweight and low latency security schemes at the physical layer that have recently attracted a lot of attention include: (i) physical unclonable functions (PUFs), (ii) localization based authentication, and, (iii) secret key generation (SKG) from wireless fading coefficients. In this paper, we focus on short blocklengths and propose a fast, privacy preserving, multi-factor authentication protocol that uniquely combines PUFs, proximity estimation and SKG. We focus on delay constrained applications and demonstrate the performance of the SKG scheme in the short blocklength by providing a numerical comparison of three families of channel codes, including half rate low density parity check codes (LDPC), Bose Chaudhuri Hocquenghem (BCH), and, Polar Slepian Wolf codes for n=512, 1024. The SKG keys are incorporated in a zero-round-trip-time resumption protocol for fast re-authentication. All schemes of the proposed mutual authentication protocol are shown to be secure through formal proofs using Burrows, Abadi and Needham (BAN) and Mao and Boyd (MB) logic as well as the Tamarin-prover.

研究の動機と目的

• 遅延制約のあるIoTおよびURLLCシステムにおける低遅延で軽量な相互認証の課題に対処すること。
• リソース制約のあるデバイスおよび後量子暗号の脅威に対して、従来の暗号スキームの限界を克服すること。
• 物理層セキュリティプリミティブを統合し、PUFs、近接推定、およびSKGを統合したプライバシー保護型の認証フレームワークを構築すること。
• 実用的チャネルコードを用いて、短いブロック長領域（n=512, 1024）におけるSKGの実現可能性と性能を実証すること。
• BAN論理、MB論理、およびTamarin-proverを用いた形式的セキュリティ検証により、機密性、真正性、およびフォワードセキュリティを保証すること。

提案手法

• 物理的不可再現関数（PUFs）をハードウェアベースのチャレンジ・レスポンス機構として活用し、強力なデバイス認証を実現する。
• 無線信号の相互性を活用した移動性駆動型近接推定により、デバイスの近接性を検出し、なりすまし攻撃を防止する。
• 短いブロック長の無線フェージング係数上でのSlepian-Wolf符号化を用いて秘密鍵を生成し、効率的な一致合わせを実現する。
• 短いブロック長（n=512, 1024）におけるSKG性能を比較するため、半レートLDPC、BCH、Polar-Slepian-Wolf符号の3つの符号族を検証する。
• 生成された鍵をゼロ・ラウンドトリップタイム（0-RTT）リsumeプロトコルに統合し、フォワードセキュリティを確保した高速再認証を実現する。
• 機密性、合意形成、および匿名性を検証するため、Burrows-Abadi-Needham（BAN）論理、Mao-Boyd（MB）論理、およびTamarin-proverを用いて形式的セキュリティ検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 PUFs、近接推定、およびSKGを統合した多因子の物理層認証プロトコルは、短いブロック長通信において低遅延の相互認証を達成できるか？
• RQ2 短いブロック長制約（n=512, 1024）下で、Slepian-Wolf符号の異なるタイプ（LDPC、BCH、Polar-Slepian-Wolf）の鍵生成レートと誤り訂正性能はどのように異なるか？
• RQ3 移動性に基づく近接検出は、IoT環境におけるなりすまし攻撃を防止する軽量でプライバシー保護型の手法として有効であるか？
• RQ4 提案された0-RTTリsumeプロトコルは、制限されたIoTシステムにおいて、フォワードセキュリティとリプレイ攻撃に対する耐性をどの程度確保できるか？
• RQ5 BAN論理、MB論理、およびTamarin-proverによる形式的検証は、現実の脅威モデル下で、提案プロトコルのセキュリティ特性を保証できるか？

主な発見

• 提案されたSKG方式は、短いブロック長コードを用いて低誤り率で高い鍵生成レートを達成しており、特にn=512およびn=1024の領域でPolar-Slepian-Wolf符号が優れた性能を示している。
• 数値的比較により、半レートLDPC、BCH、Polar-Slepian-Wolf符号はいずれも短いブロック長におけるSKGに実用的であり、Polar-Slepian-Wolf符号は複雑さと性能のバランスに優れていることが確認された。
• 実環境実験により、BLEネットワークにおける移動性に基づく近接検出の実現可能性が検証され、信頼性が高く低複雑度の近接推定が可能であることが示された。
• 0-RTTリsumeプロトコルにより、フォワードセキュリティを確保した高速再認証が実現され、従来方式と比較して遅延が顕著に低減された。
• Tamarin-proverによる形式的検証により、指定された脅威モデル下で、プロトコルの機密性、相互認証、非一対一合意形成、および追跡不能性が確認された。
• PUFs、近接推定、およびSKGの統合により、なりすまし、リプレイ、鍵漏洩攻撃に対して耐性があり、かつユーザのプライバシーを保護する多因子プロトコルが実現された。