[논문 리뷰] Pseudo-random Sequences Generated by Cellular Automata

Bruno Martin, Patrick Solé|ArXiv.org|2008. 07. 24.

Cellular Automata and Applications참고 문헌 14인용 수 13

한 줄 요약

이 논문은 셀룰러 오토마타(CA)와 하이브리드 셀룰러 오토마타(HCA)를 사용하여 암호학적으로 강력한 가역수열을 생성하기 위한 하드웨어 효율적인 방법을 제안한다. 이는 CA를 통한 선형 피드백 시프트 레지스터(LFSR)의 합성 기반으로 고속이고 재구성 가능한 FPGA 구현을 가능하게 한다. 주요 기여는 통계적 품질이 높은 LFSR 유사 수열을 체계적으로 CA 기반으로 실현함으로써, VLSI 및 스트림 암호 응용 분야에 적합한 구현을 가능하게 한 것이다.

ABSTRACT

Generation of pseudo random sequences by cellular automata, as well as by hybrid cellular automata is surveyed. An application to the fast evaluation and FPGA implementation of some classes of boolean functions is sketched out.

연구 동기 및 목표

• 셀룰러 오토마타(CA)를 사용하여 암호학적으로 강력한 가역수열을 생성하기 위한 하드웨어 효율적인 방법을 개발하기 위해.
• 선형 피드백 시프트 레지스터(LFSR)의 합성을 하이브리드 셀룰러 오토마타(HCA)로 확장하여 더 높은 구현의灵活性를 확보하기 위해.
• 사이클릭 코드와 관련된 부울 함수의 고속이고 재구성 가능한 평가를 CA 기반 아키텍처를 통해 가능하게 하기 위해.
• CA를 통한 LFSR 유사 수열의 VLSI 및 FPGA 우호적인 실현을 제공하여 동적 재구성 기능을 지원하기 위해.
• 기본 및 하이브리드 CA 규칙을 사용하여 양호한 통계적 성질을 갖는 수열을 생성하는 것이 가능함을 입증하기 위해.

제안 방법

• 논문은 3셀 이웃 영역과 부울 전이 함수를 갖는 기본 CA를 사용하여 가역수열을 생성하며, 규칙 30과 86과 같은 규칙에 집중한다.
• 기약 다항식 over 𝔽₂와 그에 해당하는 특성 다항식을 기반으로, HCA를 이용한 LFSR 실현을 위한 합성 알고리즘을 적용한다.
• 방법은 기약 다항식에서 유도된 블록 대각 행렬을 사용하여 HCA 전이 행렬을 구성함으로써, 원시 CA 기계의 연결을 가능하게 한다.
• Mattson-Solomon 다항식 이론을 활용하여 체 원소의 최소 다항식을 계산함으로써, 사이클릭 코드에서 연결 다항식 유도에 필수적인 과정을 수행한다.
• 유전 알고리즘을 사용하여 HCA에 최적의 CA 규칙(예: 30, 86, 101)을 선택함으로써 통계적 난수성과 상관 공격에 대한 저항성을 확보하고자 한다.
• 프레임워크는 f(x) = Tr(ax + bx^s 형식의 부울 함수를 주기 2^n의 수열로 매핑하여, FPGA에서의 효율적 하드웨어 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 셀룰러 오토마타는 암호학적 품질을 갖는 가역수열 생성에 효과적으로 활용될 수 있는가?
• RQ2 하이브리드 셀룰러 오토마타(HCA)를 사용하여 선형 피드백 시프트 레지스터(LFSR)를 어떻게 합성할 수 있는가?
• RQ3 어떤 기본 CA 규칙이 양호한 통계적 난수성과 낮은 상관 무결성을 갖는 수열을 생성하는가?
• RQ4 CA 기반 아키텍처는 사이클릭 코드와 관련된 부울 함수의 고속이고 재구성 가능한 평가를 가능하게 하는가?
• RQ5 이 CA 프레임워크에서 체 원소의 최소 다항식과 사이클릭 코드의 연결 다항식 간의 관계는 무엇인가?

주요 결과

• 통계적 테스트를 통해 확인된 lin 30, 86, 101과 같은 기본 CA 규칙은 양호한 통계적 성질을 갖는 수열을 생성하지만, 상관 무결성은 보장되지 않음.
• 𝔽₂ 상의 기약 다항식을 기반으로 HCA를 통한 LFSR 합성은 가능하며, 전이 행렬은 구성 요소 CA 행렬의 블록 대각 조합으로 구성됨.
• 원시 HCA 기계의 연결을 통해 장기간 주기 수열을 구성할 수 있으며, 이는 하드웨어 설계의 확장성 확보에 기여함.
• Mattson-Solomon 다항식의 사용은 최소 다항식의 효율적 계산을 가능하게 하며, 이는 사이클릭 코드의 연결 다항식 유도에 필수적임.
• Gold, Kasami, Welch, Niho 지수에서 유래한 f(x) = Tr(ax + bx^s 형식의 부울 함수는 제안된 CA 아키텍처를 통해 효율적으로 평가 가능함.
• 이 프레임워크는 동적 재구성 기능을 지원하는 FPGA 구현이 가능하며, 하드웨어 가속을 통한 고속 가역수열 생성을 가능하게 함.