[论文解读] NLHB : A Non-Linear Hopper Blum Protocol

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

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

一句话总结

本文提出 NLHB，一种基于非线性 HB 协议变体的轻量级、可证明安全的认证协议，通过在线性校验位上使用精心选择的非线性布尔函数来抵御已知的被动攻击。该协议在保持更小密钥尺寸和更低计算复杂度的同时，提供了比 HB 更强的安全性，适用于低成本 RFID 设备，并进一步通过归约至 NP-难的 UNLD 问题，将 NLHB 扩展为 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.

研究动机与目标

• 为解决 HB 协议易受 LF2 和 BKW 算法等高效被动攻击影响的问题，这些攻击会降低其有效密钥尺寸。
• 设计一种适用于低成本设备（如 RFID 标签）的轻量级认证协议，相比 HB 和 HB+ 具有更低的计算开销。
• 通过归约至一个新的、可证明困难的非线性译码问题（UNLD），证明对被动攻击的安全性。
• 通过构建 NLHB+，类比 HB+，将 NLHB 协议扩展以抵御主动攻击，并在 DET 模型中证明其安全性。
• 证明非线性响应函数的引入显著削弱现有被动攻击技术，同时保持可证明安全性。

提出的方法

• 提出 UNLD 问题——一类特定非线性码的非线性译码问题，并通过从 LPN 问题归约证明其 NP-难性。
• 通过在 HB 协议生成的线性校验位上应用非线性布尔函数 f，设计 NLHB 协议，将线性点积替换为非线性变换。
• 对非线性函数 f 施加均匀性条件，以确保从 UNLD 到被动攻击的安全归约依然有效。
• 通过实现一个特定的 NLHB 实例，使用二次型函数 f，以最小化计算复杂度并支持在低成本设备上的部署。
• 通过引入一个随机化矩阵和两个秘密，类比 HB+ 模型，将 NLHB 扩展为 NLHB+，以抵御主动攻击。
• 通过归约至 UNLD 问题，使用挑战阶段的重放技术消除一个秘密的影响，从而证明 NLHB+ 的安全性。

实验结果

研究问题

• RQ1 HB 协议中线性校验位的非线性变换是否能显著提升对 LF2 和 BKW 等已知被动攻击的抵抗能力？
• RQ2 NLHB 协议的安全性是否可归约至一个困难的非线性译码问题（UNLD），且该问题是否可被证明为 NP-难？
• RQ3 非线性是否允许 NLHB 在保持与 HB 相同的被动攻击安全水平下使用更小的密钥尺寸？
• RQ4 NLHB 协议是否可扩展为在 DET 模型中抵御主动攻击，类似于 HB+ 的实现方式？
• RQ5 NLHB 相较于 HB 和 HB+ 的计算复杂度如何？是否可在 RFID 标签等低成本设备上高效实现？

主要发现

• NLHB 协议能抵御已知的被动攻击（如 LF2 和 BKW），因为这些攻击依赖于校验位的线性特性，而该特性被非线性函数 f 所破坏。
• NLHB 的安全性通过从 UNLD 问题的归约得以证明，而 UNLD 问题已被证明为 NP-难，方法是通过从 LPN 问题归约。
• 由于非线性码结构的译码难度增加，NLHB 可使用更小的密钥尺寸以达到与 HB 相同的被动攻击安全水平。
• NLHB 的证明者/验证者计算复杂度低于 HB 在同等安全水平下的复杂度，原因在于密钥尺寸减小以及二次非线性函数的高效实现。
• NLHB+ 协议在 DET 模型中对主动攻击具有安全性，其安全性可归约至 UNLD 问题，并采用基于重放的证明技术。
• 使用二次非线性函数实现的 NLHB 具有高效的计算开销，因此适用于 RFID 标签和其他低成本设备的部署。