[論文レビュー] NLHB : A Non-Linear Hopper Blum Protocol

Mukundan Madhavan, Andrew Thangaraj+2 more|arXiv (Cornell University)|Jan 13, 2010

RFID technology advancements参考文献 6被引用数 5

ひとこと要約

本稿では、非線形HBプロトコルの変種であるNLHBを提案する。非線形ブール関数を線形パリティに適用することで、既知の受動攻撃に対して耐性を持つ、軽量で証明可能に安全な認証プロトコルである。NLHBは、HBに比べてより強いセキュリティを実現しながらも、より小さな鍵サイズと低い計算複雑性を達成しており、低コストRFIDデバイスに適している。さらに、NP困難なUNLD問題への還元により、NLHB+という形式に拡張され、能動的攻撃に対しても耐性を持つ。

ABSTRACT

In this paper, we propose a light-weight provably-secure authentication protocol called the NLHB protocol, which is a variant of the HB protocol. The HB protocol uses the complexity of decoding linear codes for security against passive attacks. In contrast, security for the NLHB protocol is proved by reducing passive attacks to the problem of decoding a class of non-linear codes that are provably hard. We demonstrate that the existing passive attacks on the HB protocol family, which have contributed to considerable reduction in its effective key-size, are ineffective against the NLHB protocol. From the evidence, we conclude that smaller-key sizes are sufficient for the NLHB protocol to achieve the same level of passive attack security as the HB Protocol. Further, for this choice of parameters, we provide an implementation instance for the NLHB protocol for which the Prover/Verifier complexity is lower than the HB protocol, enabling authentication on very low-cost devices like RFID tags. Finally, in the spirit of the HB$^{+}$ protocol, we extend the NLHB protocol to the NLHB$^{+}$ protocol and prove security against the class of active attacks defined in the DET Model.

研究の動機と目的

• LF2やBKWアルゴリズムといった効率的な受動攻撃によって影響を受けるHBプロトコルの脆弱性を是正すること。
• RFIDタグなどの低コストデバイスに適した、HBやHB+に比べて計算オーバーヘッドを低減した軽量認証プロトコルを設計すること。
• 非線形デコーディング問題（UNLD）への還元により、受動攻撃に対するセキュリティを証明すること。
• HB+のモデルに従い、ブラインディング行列と2つの秘密を導入することでNLHBを拡張し、NLHB+を構築し、DETモデルにおける能動的攻撃に対する安全性を証明すること。
• 応答関数における非線形性が、既存の受動攻撃手法を著しく弱体化させつつ、証明可能なセキュリティを維持できることを示すこと。

提案手法

• 特定の非線形符号のクラスに対する非線形デコーディング問題であるUNLD問題を提案し、LPN問題からの還元によりそのNP困難性を証明する。
• HBプロトコルで生成される線形パリティに非線形ブール関数fを適用することで、線形ドット積を非線形変換に置き換えることにより、NLHBプロトコルを設計する。
• 非線形関数fに一様性条件を課すことで、UNLD問題から受動攻撃への安全還元が有効であることを保証する。
• 計算複雑性を最小限に抑えるために、二次形式関数fの具体例を実装し、低コストデバイスへの展開を可能にする。
• HB+のモデルに従い、ブラインディング行列と2つの秘密を導入することで、NLHBをNLHB+に拡張する。
• チャレンジフェーズでリワインド技術を用いることで、1つの秘密の影響を排除し、一様分布と構造的分布を区別する。この手法により、NLHB+の安全性をUNLD問題への還元によって証明する。

実験結果

リサーチクエスチョン

• RQ1 HBプロトコルの線形パリティに対する非線形変換が、LF2 や BKW といった既知の受動攻撃に対して顕著な耐性向上をもたらすか？
• RQ2 NLHBプロトコルの安全性が、新しいNP困難な非線形デコーディング問題（UNLD）に還元可能であり、かつその問題がLPN問題からの還元によりNP困難であることを証明できるか？
• RQ3 非線形性の導入により、NLHBではHBと同等の受動攻撃セキュリティを維持しながらも、より小さな鍵サイズを実現できるか？
• RQ4 NLHBプロトコルは、HB+が果たしたのと同様に、DETモデルにおいて能動的攻撃に耐性を持つように拡張可能か？
• RQ5 NLHBの計算複雑性は、HB や HB+ と比較してどの程度か？また、RFIDタグなどの低コストデバイスに効率的に実装可能か？

主な発見

• NLHBプロトコルは、LF2 や BKW といった攻撃手法がパリティの線形性に依存しているため、非線形関数fのおかげでそれらの攻撃に対して耐性を持つ。
• NLHBの安全性はUNLD問題への還元により証明されており、UNLD問題はLPN問題からの還元によりNP困難であることが示されている。
• 非線形符号構造のデコーディングが困難になることから、NLHBではHBと同等の受動攻撃セキュリティを達成するためにより小さな鍵サイズで十分である。
• NLHBのプローバー/バリデーターの計算複雑性は、同等のセキュリティレベルにおいてHBよりも低い。これは鍵サイズの削減と、二次非線形関数の効率的実装によるものである。
• NLHB+プロトコルは、DETモデルにおいて能動的攻撃に対して安全であり、UNLD問題への還元により証明可能であり、リワインドに基づく証明技法が用いられている。
• 二次非線形関数を用いたNLHBの効率的実装は、低い計算オーバーヘッドを実現しており、RFIDタグやその他の低コストデバイスへの展開に適している。