[논문 리뷰] A Parallel Encryption Algorithm for Block Ciphers Based on Reversible Programmable Cellular Automata

Debasis Das, Abhishek Ray|arXiv (Cornell University)|2010. 06. 14.

Cellular Automata and Applications참고 문헌 31인용 수 26

한 줄 요약

이 논문은 대칭 키 암호화를 위한 효율적인 암호화를 위해 세포자동기의 본질적인 병렬성과 결정론적 동역학을 활용한, 가역 프로그래머블 세포자동기(RPCA) 기반의 새로운 병렬 블록 암호화 알고리즘을 제안한다. 국소적이고 가역적인 업데이트 규칙을 통해 강력한 확산과 혼동을 달성하며, 고도로 병렬 처리 환경에서 기존의 블록 암호보다 향상된 성능과 보안 특성을 보여준다.

ABSTRACT

A Cellular Automata (CA) is a computing model of complex System using simple rule. In CA the problem space into number of cell and each cell can be one or several final state. Cells are affected by neighbours' to the simple rule. Cellular Automata are highly parallel and discrete dynamical systems, whose behaviour is completely specified in terms of a local relation. This paper deals with the Cellular Automata (CA) in cryptography for a class of Block Ciphers through a new block encryption algorithm based on Reversible Programmable Cellular Automata Theory. The proposed algorithm belongs to the class of symmetric key systems.

연구 동기 및 목표

• 병렬 아키텍처에 적합한 고성능 블록 암호를 설계하기 위해.
• 가역 프로그래머블 세포자동기의 특성을 활용하여 암호 보안성을 높이기 위해.
• 국소적이고 결정론적인 업데이트 규칙을 통해 강력한 확산과 혼동을 달성하기 위해.
• 대칭 키 암호화 시스템에서 암호화 속도와 확장성을 향상시키기 위해.
• 현대 블록 암호 설계에 세포자동기를 통합하기 위한 형식적 프레임워크를 제공하기 위해.

제안 방법

• 알고리즘은 각 셀이 이웃 셀과 프로그래머블 규칙에 따라 업데이트되는 가역 프로그래머블 세포자동기(RPCA)를 암호화의 핵심 원리로 사용한다.
• 시스템은 유한한 한정된 일차원 배열의 셀로 구성되며, 각 셀은 유한한 상태 집합에서 값을 가지며, 상태 전이가 국소적이고 역행 가능한 규칙 함수에 의해 결정된다.
• 암호화는 RPCA의 다중 동기적 반복을 통해 수행되며, 초기 상태는 평문 블록과 키 자료에서 유도된다.
• 키 스케줄링은 RPCA의 프로그래머블 규칙를 구성하는 제어 파rameter를 생성하여 키 기반 동작을 보장한다.
• 세포자동기의 가역성은 역규칙 순서를 통해 복호화가 가능하게 하여 대칭 키 성질을 유지한다.
• 알고리즘은 본질적으로 병렬적이며, 각 시간 단계에서 모든 셀을 동시에 업데이트할 수 있도록 설계되어 있다.

실험 결과

연구 질문

• RQ1 가역 프로그래머블 세포자동기는 안전하고 효율적인 블록 암호를 구축하는 데 효과적으로 활용될 수 있는가?
• RQ2 세포자동기의 병렬성은 대칭 키 암호화에서 성능을 어떻게 향상시키는가?
• RQ3 RPCA의 국소적이고 결정론적인 규칙이 암호 보안을 위해 충분한 혼동과 확산을 제공하는가?
• RQ4 세포자동기의 가역성은 대칭 키 환경에서 신뢰성 있고 효율적인 복호화를 보장할 수 있는가?
• RQ5 기존의 블록 암호 설계와 비교해 볼 때, 제안된 알고리즘은 보안성과 성능 면에서 어떤가?

주요 결과

• 제안된 알고리즘은 완전한 병렬성을 달성하여 하드웨어 및 멀티코어 환경에 적합한 고속 암호화를 가능하게 한다.
• 가역 프로그래머블 세포자동기의 사용은 암호화 과정이 가역적이며, 데이터 손실 없이 정확한 복호화를 지원함을 보장한다.
• 프로그래머블 규칙에 의해 지배되는 셀 간의 복잡하고 비선형적인 상호작용으로 인해 알고리즘은 강력한 확산과 혼동 성질을 보여준다.
• 암호의 보안성은 RPCA 규칙의 키 기반 구성에 의존하므로, 키를 알지 못한 채로 암호 분석을 수행하는 것은 어렵다.
• 이 방법은 세포자동기 이론에 엄밀히 기반하여 있어, 블록 암호 설계에 수학적으로 타당한 기반을 제공한다.
• 대칭 키 성질과 효율적인 계산 모델 덕분에 기존 암호 시스템에의 통합이 가능하다는 점에서 알고리즘이 적합함이 입증되었다.