[논문 리뷰] NLHB : A Non-Linear Hopper Blum Protocol

Mukundan Madhavan, Andrew Thangaraj외 2명|arXiv (Cornell University)|2010. 01. 13.

RFID technology advancements참고 문헌 6인용 수 5

한 줄 요약

이 논문은 비선형 HB 프로토콜의 변종인 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+ 모델을 따르며 블라인딩 행렬과 두 개의 비밀값을 도입하여 활성 공격에 저항하는 NLHB+로 NLHB를 확장하고, DET 모델에서의 보안성을 증명하기 위해.
• 응답 함수의 비선형성이 기존의 수동 공격 기법을 크게 약화시키면서도 보증된 보안성을 유지할 수 있는지 확인하기 위해.

제안 방법

• 특정 클래스의 비선형 부호에 대해 비선형 디코딩 문제인 UNLD 문제를 제안하고, LPN 문제로부터의 감소를 통해 NP-난이도임을 증명한다.
• HB 프로토콜에서 생성된 선형 파리티에 비선형 부울 함수 f를 적용하여 NLHB 프로토콜을 설계하며, 선형 내적을 비선형 변환으로 대체한다.
• 비선형 함수 f에 대한 균일성 조건을 사용하여 UNLD 문제에서 수동 공격으로의 보안 감소가 유지되도록 보장한다.
• 계산 복잡도를 최소화하고 저비용 장치에의 구현을 가능하게 하기 위해, 특정 인스턴스의 NLHB를 이차형식 함수 f를 사용하여 구현한다.
• HB+ 모델을 따르며 블라인딩 행렬과 두 개의 비밀값을 도입하여 활성 공격에 저항하는 NLHB+로 확장한다.
• 도전 단계에서 리워핑 기법을 사용하여 한 비밀값의 영향을 제거하고 균일 분포와 구조적 분포를 구별함으로써, UNLD 문제로의 감소를 통한 NLHB+의 보안성을 증명한다.

실험 결과

연구 질문

• RQ1 HB 프로토콜의 선형 파리티에 비선형 변환을 적용하는 것이 LF2 및 BKW와 같은 알려진 수동 공격에 대한 저항력을 크게 향상시킬 수 있는가?
• RQ2 NLHB 프로토콜의 보안성이 새로운 비선형 디코딩 문제인 UNLD 문제로 감소 가능한가? 그리고 이 문제의 NP-난이도가 증명될 수 있는가?
• RQ3 비선형성의 사용이 HB와 동일한 수준의 수동 공격 보안성을 유지하면서도 키 크기를 줄일 수 있는가?
• RQ4 NLHB 프로토콜은 HB+와 유사하게 DET 모델에서 활성 공격에 저항하기 위해 확장될 수 있는가?
• RQ5 NLHB의 계산 복잡도는 HB 및 HB+와 비교해 어떻게 되며, RFID 태그와 같은 저비용 장치에서 효율적으로 구현될 수 있는가?

주요 결과

• NLHB 프로토콜은 LF2 및 BKW 공격과 같은 기존 수동 공격에 저항한다. 이는 이러한 공격이 파리티의 선형성에 의존하기 때문에, 비선형 함수 f에 의해 선형성이 깨지기 때문이다.
• NLHB의 보안성은 UNLD 문제로의 감소를 통해 증명되며, 이 문제의 NP-난이도는 LPN 문제로부터의 감소를 통해 입증된다.
• 비선형 부호의 구조를 디코딩하는 데 더 높은 난이도가 있기 때문에, HB와 동일한 수준의 수동 공격 보안성을 확보하기 위해 더 작은 키 크기로도 충분하다.
• 같은 보안 수준에서 NLHB의 프로버/베리파이어 계산 복잡도는 키 크기 감소와 이차 비선형 함수의 효율적 구현 덕분에 HB보다 낮다.
• NLHB+ 프로토콜은 DET 모델에서 활성 공격에 대해 보안되며, UNLD 문제로의 감소를 통해 보안성이 입증되며, 리워핑 기반 증명 기법이 사용된다.
• 이차 비선형 함수를 사용한 NLHB의 효율적 구현은 낮은 계산 오버헤드를 제공하여, RFID 태그 및 기타 저비용 장치에의 배포에 적합하다.