선형 차분 방정식으로 비선형 암호 시퀀스 모델링

초록

본 논문은 셀룰러 오토마타 기반의 선형 시퀀스 생성기를 도입하여, 기존 비선형 키스트림 생성기의 출력 시퀀스를 선형 차분 방정식의 해로 표현한다. 제시된 모델을 통해 주기, 선형 복잡도, 가능한 출력 시퀀스 수를 정량적으로 분석하고, 암호학적 설계와 보안 평가에 새로운 도구를 제공한다.

상세 분석

이 연구는 비선형 키스트림 생성기의 복잡성을 선형 구조로 재해석함으로써, 암호학적 분석에 있어 기존에 사용되던 비선형 대수적 기법을 보완한다. 핵심 아이디어는 1차원 셀룰러 오토마타(CA)를 이용해 선형 피드백 시프트 레지스터(LFSR)와 유사한 동작을 구현하되, 셀들의 초기 상태와 전이 규칙을 적절히 설계함으로써 비선형 결합을 자연스럽게 발생시키는 것이다. 이렇게 구성된 CA는 각 셀의 출력이 이전 단계의 일정한 선형 조합으로 표현될 수 있으므로, 전체 시퀀스는 고차 선형 차분 방정식의 해로 기술된다.

논문은 먼저 차분 방정식의 일반 형태
( s_{n+k}=c_{1}s_{n+k-1}+c_{2}s_{n+k-2}+…+c_{k}s_{n} )
를 도입하고, 여기서 계수 (c_i)는 GF(2) 상에서 정의된다. CA의 전이 규칙을 이 계수와 일치시키면, 시퀀스 ( {s_n} )는 정확히 위 방정식의 해가 된다. 중요한 점은 비선형 연산(예: AND, OR)이 직접적으로 등장하지 않음에도 불구하고, 초기 조건과 전이 규칙의 조합이 복잡한 비선형 패턴을 생성한다는 것이다.

주기 분석에서는 차분 방정식의 특성 다항식이 원시 다항식일 경우 최대 주기 (2^{k}-1)을 달성함을 증명한다. 또한, CA 기반 모델은 동일한 차수 (k)에 대해 전통적인 LFSR보다 더 다양한 초기 상태 조합을 허용하므로, 가능한 출력 시퀀스 수가 (2^{k})에서 (2^{k+1}-2)까지 확대될 수 있음을 보인다.

선형 복잡도 측면에서는, 차분 방정식의 차수 (k)가 바로 시퀀스의 최소 선형 복잡도와 일치한다. 따라서 비선형 생성기라 하더라도, 이 모델을 통해 복잡도가 정확히 예측 가능하며, 이는 암호 해석 시 공격 비용을 정량화하는 데 유용하다.

마지막으로, 논문은 셀룰러 오토마타의 구현이 하드웨어적으로 효율적이며, 병렬 처리에 적합함을 강조한다. 이는 고속 스트림 암호 시스템에서 실시간 키스트림 생성에 적용 가능함을 의미한다. 전체적으로 이 연구는 비선형 암호 시퀀스를 선형 차분 방정식이라는 수학적 틀 안에 끌어들여, 설계·분석·구현 단계에서 새로운 관점을 제공한다.