암호학을 위한 나라얀 수열의 무작위성 및 상관 특성

초록

본 논문은 소수 p에 대해 나라얀 수열을 모듈러 연산으로 적용한 뒤, 그 주기와 통계적 특성을 분석한다. 연구 결과, 나라얀 수열의 주기는 p² + p + 1 또는 p² − 1(또는 그 약수) 중 하나이며, 자동상관 및 교차상관 측면에서 뛰어난 무작위성을 보인다. 이러한 특성은 암호키 생성 및 스트림 암호 설계에 활용될 수 있음을 제시한다.

상세 분석

나라얀 수열은 전통적인 피보나치 수열과 유사하지만, 세 개의 이전 항을 이용해 aₙ = aₙ₋₁ + aₙ₋₃ 형태의 3차 선형 재귀식을 가진다. 이 논문에서는 a₀ = 0, a₁ = 1, a₂ = 1 로 초기화한 뒤, 소수 p에 대해 aₙ mod p 를 계산한다. 주요 이론적 기여는 두 가지 가능한 주기 형태를 증명한 점이다. 첫 번째는 p² + p + 1 로, 이는 p가 특정 형태(예: p ≡ 2 mod 3)일 때 나타난다. 두 번째는 p² − 1 로, 이는 p가 다른 형태(예: p ≡ 1 mod 3)일 때 관찰된다. 두 경우 모두 실제 실험에서 약수가 나타날 수 있음을 확인하였다.

통계적 분석에서는 자동상관 함수(ACF)와 교차상관 함수(CCF)를 이용해 무작위성을 평가하였다. ACF는 0을 중심으로 급격히 감소하고, 비정상적인 피크가 거의 없으며, 평균값이 0에 가깝게 유지된다. 이는 시퀀스가 거의 완전한 균등 분포를 갖는다는 것을 의미한다. CCF는 서로 다른 초기값을 갖는 두 나라얀 시퀀스 간의 상관을 측정했으며, 대부분의 시점에서 상관계수가 ±0.02 이하로 매우 낮았다. 이러한 결과는 키 스트림으로 사용될 때 서로 다른 스트림 간에 상호 간섭이 최소임을 시사한다.

보안 측면에서, 주기가 p² ± … 형태이므로 충분히 큰 소수 p를 선택하면 주기가 천문학적으로 커져서 주기 공격에 대한 저항성이 확보된다. 또한, 3차 재귀식은 피보나치 기반 스트림 암호보다 더 복잡한 선형 종속성을 제공하므로, 베르누이 시퀀스와 비교했을 때 선형 복구 공격에 대한 난이도가 상승한다. 그러나 논문에서는 선형 복구 가능성을 완전히 배제하지는 못했으며, 특히 초기값이 제한된 경우(예: a₀ = 0)에는 일부 구조적 패턴이 남을 가능성을 언급한다.

실험에서는 p = 101, 103, 107 등 다양한 소수를 대상으로 시뮬레이션을 수행했으며, 모든 경우에서 제시된 주기와 상관 특성이 일관되게 나타났다. 또한, NIST SP 800‑22 테스트군을 적용했을 때, 대부분의 테스트 항목을 통과했으나, 일부 비트 연속성 테스트에서는 경계값 근처에서 약간의 편차가 관찰되었다. 이는 구현 시 비트 추출 방법에 따라 보정이 필요함을 암시한다.

결론적으로, 나라얀 수열은 기존의 피보나치 기반 혹은 LFSR 기반 난수 생성기와 비교했을 때, 주기 길이와 상관 특성에서 경쟁력을 갖는다. 특히, 3차 재귀식이 제공하는 추가적인 자유도는 키 스트림 설계 시 다양한 파라미터 튜닝을 가능하게 하며, 암호 프로토콜에 적용하기 위한 충분한 무작위성을 제공한다. 향후 연구에서는 비선형 변형, 다중 모듈러 결합, 그리고 하드웨어 구현 효율성을 탐구함으로써 실용적인 암호 시스템에의 적용 가능성을 확대할 필요가 있다.