[논문 리뷰] The B-Exponential Map: A Generalization of the Logistic Map, and Its Applications In Generating Pseudo-random Numbers

Mahesh C. Shastry, Nithin Nagaraj외 1명|arXiv (Cornell University)|2006. 07. 14.

Chaos-based Image/Signal Encryption참고 문헌 13인용 수 13

한 줄 요약

이 논문은 1차원 혼돈 맵인 B-지수함수 맵을 소개하고, 다양한 B 값의 궤적을 혼돈적으로 뛰어다니는 방식으로 작동하는 의사난수 생성기 BEACH를 제안한다. 모든 B ≥ e⁻⁴에서 강건한 혼돈을 보이며, NIST 및 Diehard 통계적 난수성 테스트를 고도로 통과하여 암호학적 응용에 적합함을 보여준다.

ABSTRACT

A 1-dimensional generalization of the well known Logistic Map is proposed. The proposed family of maps is referred to as the B-Exponential Map. The dynamics of this map are analyzed and found to have interesting properties. In particular, the B-Exponential Map exhibits robust chaos for all real values of the parameter B >= e^(-4). We then propose a pseudo-random number generator based on the B-Exponential Map by chaotically hopping between different trajectories for different values of B. We call this BEACH (B-Exponential All-Chaotic Map Hopping) pseudo-random number generator. BEACH successfully passes stringent statistical randomness tests such as ENT, NIST and Diehard. An implementation of BEACH is also outlined.

연구 동기 및 목표

• 넓은 매개변수 범위에서 강건한 혼돈을 보이는 새로운 혼돈 맵을 개발하는 것.
• 혼돈 시스템의 결정론적이지만 난수처럼 보이는 행동을 활용하여 고품질의 의사난수를 생성하는 것.
• NIST 및 Diehard와 같은 엄격한 통계적 테스트를 통과할 수 있도록, 장기간의 시퀀스에서도 성능을 유지를 하는 PRNG를 설계하는 것.
• 암호학적 PRNG 설계에서 강건한 혼돈의 유용성을 탐구하는 것.
• BEACH 생성기를 기반으로 안전한 스트림 암호를 설계하기 위한 기반을 마련하는 것.

제안 방법

• B-지수함수 맵은 x ∈ [0,1] 및 B > 0 에 대해 GL(B,x) = [B - xB^x - (1-x)B^(1-x)] / (B - √B) 로 정의된다.
• B ≥ e⁻⁴ 일 때 맵이 로지스틱 맵과 위상적으로 동치임을 입증하여 동일한 혼돈 역학을 보임을 보였다.
• 리아풀로프 지수 분석을 통해 B ≥ e⁻⁴ 에서 모든 B 값에서 리아풀로프 지수가 ln(2)로 일정함을 입증하여 강건한 혼돈을 확립하였다.
• BEACH PRNG는 다양한 B 값 간에 혼돈적으로 뛰어다니는 방식으로, 장기간의 주기를 가진 시퀀스를 생성하도록 구현되었다.
• 10 Gb에 이르는 길이의 시퀀스에 대해 ENT, NIST, Diehard 테스트 세트를 사용하여 통계적 검증을 수행하였다.
• 초기 조건과 매개변수 이동을 통해 출력의 예측 불가능성과 균일성을 보장하는 방식으로 생성기를 설계하였다.

실험 결과

연구 질문

• RQ1 B-지수함수 맵은 B 값의 넓은 범위에서 강건한 혼돈을 나타내는가?
• RQ2 B-지수함수 맵 궤적 간의 혼돈적 이동을 기반으로 한 PRNG는 엄격한 통계적 난수성 테스트를 통과하는가?
• RQ3 B ≥ e⁻⁴ 일 때 B-지수함수 맵은 로지스틱 맵과 위상적으로 동치인가?
• RQ4 B-지수함수 맵의 매개변수 공간 전반에서 리아풀로프 지수의 행동은 어떠한가?
• RQ5 BEACH 생성기는 매우 장기간의 시퀀스에서도 통계적 난수성을 유지하는가?

주요 결과

• B-지수함수 맵은 모든 실수 B ≥ e⁻⁴ 에서 강건한 혼돈을 보이며, 주기적 창문이 관측되지 않았다.
• B-지수함수 맵의 리아풀로프 지수는 모든 B ≥ e⁻⁴ 에서 일정하게 ln(2)로 유지되며, 강력한 혼돈 행동을 나타낸다.
• BEACH는 NIST 통계 테스트 세트의 15개 테스트를 모두 통과하며, p-값이 0.001 이상으로 균일하게 분포되어 있어 난수성에 대해 99% 신뢰도를 보였다.
• BEACH는 10개의 스트림 각각 10억 비트씩 총 18개의 Diehard 테스트를 통과하였으며, 6자리 소수까지 p-값이 0 또는 1이 되는 경우가 없었다.
• 통계적 분석을 통해 p-값의 p-값이 균일하게 분포되어 있음을 확인하여 BEACH 출력의 난수성은 검증되었다.
• 10기가비트에 이르는 시퀀스에서도 생성기가 통계적 난수성을 유지함을 확인하여, 암호학적 응용에 적합함을 입증하였다.