[論文レビュー] Using HB Family of Protocols for Privacy-Preserving Authentication of RFID Tags in a Population

Tzipora Halevi, Nitesh Saxena+1 more|ArXiv.org|Jul 7, 2009

RFID technology advancements参考文献 12被引用数 15

ひとこと要約

本稿では、大規模なタグ集団におけるプライバシー保護型RFID認証を実現する木構造ベースのHBファミリー協定を提案している。軽量なHB+またはHB#プリミティブを木の走査中に共有チャレンジと最適化されたパラメータを用いることで、通信および計算コストをベースラインHB水準に近づけながら、誤認証および誤拒否率を低く保ち、低コストタグおよび大規模展開に適している。

ABSTRACT

In this paper, we propose an HB-like protocol for privacy-preserving authentication of RFID tags, whereby a tag can remain anonymous and untraceable to an adversary during the authentication process. Previous proposals of such protocols were based on PRF computations. Our protocol can instead be used on low-cost tags that may be incapable of computing standard PRFs. Moreover, since the underlying computations in HB protocols are very efficient, our protocol also reduces reader load compared to PRF-based protocols. We suggest a tree-based approach that replaces the PRF-based authentication from prior work with a procedure such as HB+ or HB#. We optimize the tree- traversal stage through usage of a "light version" of the underlying protocol and shared random challenges across all levels of the tree. This provides significant reduction of the communication resources, resulting in a privacy-preserving protocol almost as efficient as the underlying HB+ or HB#

研究の動機と目的

• 低コストタグでは実用的でない従来のPRFベースの方式とは異なり、大規模なタグ集団におけるスケーラブルでプライバシー保護型のRFID認証を実現すること。
• リソース制限のあるタグで計算が可能である軽量なHBに類似したプロトコルのみを用いて、匿名的かつ追跡不能なタグ認証を可能にすること。
• PRFベースの方式や全探索法と比較して、大規模RFIDシステムにおけるリーダーの計算負荷および通信オーバーヘッドを低減すること。
• ナチュラルなアプローチで指数的増加を示すのを避けるために、大規模なタグ集団であっても誤認証および誤拒否率を低く保てる木構造ベースの協定を設計すること。
• 共有チャレンジと削減されたパラメータを用いたHBベースの木走査の最適化により、ネイティブHBプロトコルに近い性能を達成すること。

提案手法

• 各タグがルートからリーフに至る一意のパスを有する階層的木構造を用い、鍵はHBに類似した関数から導出される。
• 木走査の過程で、リーダーは全木のレベルにわたり共通のランダムチャレンジを用いる「軽量版」のHB+またはHB#を用い、通信および計算コストを削減する。
• 基礎となるHBプリミティブは、学習パリティ・ノイズ（LPN）仮定の下で擬似ランダム関数を模倣する関数 $ f_x(A) = Ax + \text{noise} $ に基づく。
• リーダーはタグ固有の鍵を用いて木走査を実行し、候補タグを絞り込み、その後リーダーが生成するチャレンジを用いた完全な認証フェーズに移行する。
• 最適化には、全木のレベルにわたり同じチャレンジを再利用し、走査フェーズのラウンド数を削減する措置が含まれており、計算および通信コストを顕著に削減する。
• 本協定は、走査段階ではタグが生成するチャレンジが十分であることに着目し、最終認証ステップでのみリーダーが生成するチャレンジを用いる。

実験結果

リサーチクエスチョン

• RQ1 HBファミリー協定は、大規模なタグ集団におけるプライバシー保護型でスケーラブルなRFID認証を実現するために、効果的に適応可能か？
• RQ2 HBベースの協定は、木構造によるタグ識別において、通信および計算オーバーヘッドをどのように低減できるか？
• RQ3 共有チャレンジと削減されたパラメータが、大規模展開における誤認証率および誤拒否率に与える影響は何か？
• RQ4 HBベースの方式の性能は、プライバシー保証を維持したまま、ネイティブHBプロトコルに近づけるか？
• RQ5 提案された木構造HB協定は、AESやミートインザミドル方式などのPRFベースの代替手法と比較して、効率性およびセキュリティ面でどのように差をつけるか？

主な発見

• 100万タグの集団において、d=3の木-HB+協定では平均リーダー計算時間が0.019秒にまで短縮された。これは、HB+を用いた全探索法の110.18秒と比較して顕著な改善である。
• 木-HB+協定では、100万タグの状況下でも誤認証率（FAR）が約 $1.4 \times 10^{-6}$ に保たれ、最終段階で1つのタグしか認証されないため、安定している。
• d=3の場合の誤拒否率（FRR）は約0.382であり、大規模展開に対しても最小限の劣化が見られた。
• d=3の場合、木-HB+協定は木ベースのAES-PRF手法に比べ53倍の高速化、ミートインザミドルPRF方式に比べ3倍の高速化を達成した。
• 共有チャレンジの活用やトーペリッツ行列の潜在的利用により、通信複雑度はネイティブHB水準にまで低減され、ビット複雑度は50,000〜100,000ビットから約1,000ビットにまで削減された。
• 本協定はLPN仮定の下で強いセキュリティを維持しており、メモリおよび計算能力に制限のあるタグに対しても適している。ただし、木の深さおよび誤り率は利用可能なリソースに合わせて調整する必要がある。