[논문 리뷰] Divisibility, Smoothness and Cryptographic Applications

David Naccache, Igor E. Shparlinski|ArXiv.org|2008. 10. 12.

Analytic Number Theory Research참고 문헌 73인용 수 3

한 줄 요약

이 논문은 암호 시스템에서 큰 소수 인수를 가지지 않는 정수인 스무스 수의 역할을 탐구하며, RSA, 해시 함수(예: VSH), 그리고 인수 분해 알고리즘과 같은 구조물의 보안과 효율성을 뒷받기키는 나눗셈과 스무스성의 수론적 성질을 보여준다. 논문은 스무스 수 분포에 대한 엄밀한 경계를 수립하고 이를 바탕으로 암호 primitive의 충돌 저항성과 보안 보장을 증명한다.

ABSTRACT

This paper deals with products of moderate-size primes, familiarly known as smooth numbers. Smooth numbers play a crucial role in information theory, signal processing and cryptography. We present various properties of smooth numbers relating to their enumeration, distribution and occurrence in various integer sequences. We then turn our attention to cryptographic applications in which smooth numbers play a pivotal role.

연구 동기 및 목표

• 스무스 수의 수론적 의의와 정수 수열 내 분포를 분석하는 것.
• 나눗셈과 스무스성에 의존하는 암호 구조물의 엄밀한 수론적 기초를 제공하는 것.
• 분석적 수론과 실용적 암호학 사이의 격차를 메우기 위해 스무스성과 보안 증명, 알고리즘 효율성 간의 연결 고리를 제공하는 것.
• 나눗셈 함수 및 스무스 수의 수에 대한 정교한 추정치가 현대 암호 프rotocol의 기초가 되는 방식을 보여주는 것.
• 수론적 분석의 미세한 향상이 종종 보다 엄밀한 보안 경계와 효율적인 알고리즘을 포함해 암호학적 발전을 이끌 수 있음을 보여주는 것.

제안 방법

• 베이징의 대오 표기법과 점점 커지는 분석을 사용하여 주어진 한계 이내의 스무스 수의 수를 경계한다.
• 포드(2008)의 결과를 적용하여 오일러의 타우 함수 값의 분포와 산술 등차수열 내의 약수의 수를 분석한다.
• 크루프, 그란빌, 페망틀, 테탈리(2006)의 결과를 활용하여 딕슨 인수 분해 알고리즘의 停止 시간을 추정함으로써 알고리즘 효율성을 분석한다.
• N = pq 모듈로에서 첫 번째 k개의 소수로 생성된 곱셈 부분군을 분석하여 Very Smooth Hash(VSH) 함수의 보안을 평가한다.
• 예를 들어, $ ilde{ ho}(x,y)$와 같은 y-스무스 수의 경계를 활용하여, 거의 모든 RSA 모듈로 N = pq에 대해, 충분히 큰 ρ일 때 무작위 ρ비트 메시지가 주어진 해시 값으로 매핑될 확률이 무시할 만큼 작다는 것을 증명한다.
• 고전적인 중국인의 나머지 정리와 스무스한 n에 대한 빠른 푸리에 변환(FFT) 재귀를 조합하여 스무스성이 2차 이하 알고리즘을 가능하게 하며, 이는 주로 암호학적 초점에서 제외된다.

실험 결과

연구 질문

• RQ1 주어진 한계 b 이하의 소수 인수를 가진 정수는 얼마나 흔한가, 그리고 이는 암호 보안에 어떤 영향을 미치는가?
• RQ2 오일러의 타우 함수 $ au(n)$ 이 취하는 값의 분포는 무엇이며, 이는 RSA의 보안과 어떻게 관련되는가?
• RQ3 소수 p에 대해 $p-1$과 $p+1$의 스무스성이 '강한' 소수의 정의와 분석에 어떻게 활용될 수 있는가?
• RQ4 무작위 메시지가 Very Smooth Hash(VSH) 함수에서 주어진 해시 값으로 매핑될 확률은 얼마이며, 이는 스무스 수 이론을 통해 어떻게 경계될 수 있는가?
• RQ5 나눗셈 수나 스무스 수의 수에 대한 정교한 분석적 수론 결과가 암호 알고리즘의 보안성과 효율성에 얼마나 기여하는가?

주요 결과

• x 이하의 y-스무스 정수의 수를 나타내는 $ ilde{ ho}(x,y)$는 분석적 수론의 결과를 사용하여 경계되며, $ au > 1$일 때 $x/y \to \tau$이면 $ ilde{ ho}(x,y) \to 0$이므로 대부분의 정수는 y-스무스가 아님을 의미한다.
• 거의 모든 RSA 모듈로 $N = pq$에 대해, $ ho$가 충분히 크면 무작위 $ ho$-비트 메시지가 VSH에서 주어진 해시 값으로 매핑될 확률은 무시할 만큼 작다. 이는 모듈로 N에서 스무스 수의 분포 때문이지만, 이는 보안에 기여한다.
• 소수 $p \neq 2$ 중에서 $p-1$이 y-스무스인 수의 밀도는 $O(x/y)$이다. 이는 $y$가 $x$에 비해 작을 경우 이러한 소수가 희귀함을 의미한다.
• Coppersmith의 방법에 기반하여 $d \neq 0 \bmod k$ 이면서 $d \neq a \bmod k$ 인 약수의 수에 대한 경계가 유도된다. 이는 RSA에서 일부 인수가 알려진 경우의 공격 기초가 된다.
• Croot 등이 얻은 결과를 활용하여 딕슨 인수 분해 알고리즘의 정지 시간이 엄밀하게 경계되며, 이는 $n$이 스무스할 경우 알고리즘이 지수 시간 이하로 작동함을 보여준다.
• 큰 $x$와 $y$에 대해 $ au(p-1)$이 y-스무스일 확률은 무시할 만큼 작다. 이는 대부분의 소수가 y-강한 소수임을 의미하며, 이는 RSA에서 강한 소수 생성의 보안을 뒷받기킨다.