[논문 리뷰] Security of the Improved Fuzzy Vault Scheme in the Presence of Record Multiplicity (Full Version)

Johannes Merkle, Benjamin Tams|arXiv (Cornell University)|2013. 12. 18.

Biometric Identification and Security참고 문헌 40인용 수 10

한 줄 요약

이 논문은 동일한 개인의 복수의 복구 기록을 연결하고 차이가 나는 생체 특징을 복원하기 위해 확장 유클리드 알고리즘을 사용하는 고도로 효율적인 다항식 시간 공격을 제시한다. 이 공격은 큰 매개변수에 대해서도 이러한 공격이 비가능하다는 추측을 반증하며, 정보 이론적 관점에서 실용 가능성과 점근적 최적성을 입증한다. 이는 안전한 생체 인증 키 관리에 영향을 미친다.

ABSTRACT

Dodis et al. proposed an improved version of the fuzzy vault scheme, one of the most popular primitives used in biometric cryptosystems, requiring less storage and leaking less information. Recently, Blanton and Aliasgari have shown that the relation of two improved fuzzy vault records of the same individual may be determined by solving a system of non-linear equations. However, they conjectured that this is feasible for small parameters only. In this paper, we present a new attack against the improved fuzzy vault scheme based on the extended Euclidean algorithm that determines if two records are related and recovers the elements by which the protected features, e.g., the biometric templates, differ. Our theoretical and empirical analysis demonstrates that the attack is very effective and efficient for practical parameters. Furthermore, we show how this attack can be extended to fully recover both feature sets from related vault records much more efficiently than possible by attacking each record individually. We complement this work by deriving lower bounds for record multiplicity attacks and use these to show that our attack is asymptotically optimal in an information theoretic sense. Finally, we propose remedies to harden the scheme against record multiplicity attacks.

연구 동기 및 목표

• 동일한 생체 인스턴스의 특징을 보호하는 복수의 복구 기록이 존재할 경우, 개선된 퍼즐 자물쇠 기반의 보안을 분석한다.
• 블란톤과 알리아스가리가 제기한 추측, 즉 관련된 복구 기록에서 유도된 비선형 방정식을 해결하는 것이 큰 매개변수에 대해서는 계산적으로 비가능하다는 추측을 도전한다.
• 확장 유클리드 알고리즘을 사용하여 복구 기록을 연결하고 차이가 나는 생체 특징을 복원하는 효율적이고 다항식 시간 공격을 개발한다.
• 부분 복원 공격을 확장하여 확률적 전면 복원 방법을 도입함으로써 브루트 포스의 효율성을 크게 향상시킨다.
• 다중 복구 기록에서의 누출에 대한 정보 이론적 하한을 유도하고, 이러한 공격에 대비한 대응 조치를 제안한다.

제안 방법

• 공격은 두 복구 다항식 간의 최대공약수(GCD)를 계산하기 위해 확장 유클리드 알고리즘을 사용하며, 이 다항식들은 겹치는 생체 특징 집합에서 유도된다.
• 공격은 개선된 퍼즐 자물쇠 기반의 대칭성 구조를 이용하며, 진짜 특징은 비밀 다항식을 통해 인코딩되고, 잡다한 점들은 랜덤 다항식을 통해 추가된다.
• 공격 방법은 두 복구 기록 간의 공통 및 고유 성분의 구조를 분석함으로써, 그들 간의 차이가 나는 원소 집합을 식별한다.
• 공격은 확률적이며, 특징 집합 간에 충분한 겹침이 있을 경우, Reed-Solomon 디코더의 진짜 수용률과 동일한 높은 확률로 성공한다.
• 다양한 관련 복구 기록에서의 부분 결과를 조합하고 확률적 재구성 기법을 사용함으로써 전면 복원을 달성한다.
• 저자들은 더 큰 유한체에 특징을 (가짜) 랜덤으로 임bedding하여 겹침을 감지하는 것을 어렵게 함으로써 공격에 대비한 대응 조치를 제안한다.

실험 결과

연구 질문

• RQ1 알제브라 기반 기법을 사용하여 개선된 퍼즐 자물쇠 기반의 보안에 대해 기록 다중성 공격을 효율적으로 수행할 수 있는가?
• RQ2 블란톤과 알리아스가리의 추측, 즉 이러한 공격가 큰 매개변수에 대해서는 비가능하다는 추측은 타당한가?
• RQ3 차이가 나는 특징의 부분 복원은 원래 생체 특징 집합의 전면 복원까지 얼마나 확장될 수 있는가?
• RQ4 다중 복구 기록에서의 누출에 대한 정보 이론적 한계는 무엇이며, 이는 공격 성공 확률과 어떻게 관련되는가?
• RQ5 기본 성질을 유지하면서도 기록 다중성 공격를 방지할 수 있는 효과적인 대응 조치를 설계할 수 있는가?

주요 결과

• 제안된 공격은 확장 유클리드 알고리즘을 사용하여 두 복구 기록 간의 차이가 나는 요소를 효율적으로 복원함으로써, 개선된 퍼즐 자물쇠 기반의 보안을 무너뜨린다.
• 공격은 랜덤 다항식 시간 내에 실행되며, 높은 확률로 성공하며, 큰 매개변수에 대해서는 이러한 공격이 비가능하다는 추측을 반박한다.
• 실험 결과는 실용적 생체 인식 매개변수 조건에서도 공격의 높은 신뢰성과 낮은 거짓 긍정률을 확인한다.
• 특정 매개변수 영역—구체적으로 $\omega \geq (t + k)/2$ 이며 $t \gg k$ 인 경우—에서는 부분 복원이 두 특징 집합의 완전한 재구성 가능하게 한다.
• 공격은 정보 이론적 관점에서 점근적으로 최적임이 입증되었으며, 다중 복구 기록에서의 누출에 대한 하한을 도출함으로써 이를 입증한다.
• 저자들은 특징을 더 큰 유한체에 (가짜) 랜덤으로 임베딩하는 대응 조치를 제안하며, 이는 겹침을 감지하는 것을 어렵게 하고 공격을 효과적으로 차단할 수 있다.