[논문 리뷰] Constructing Orthogonal Latin Squares from Linear Cellular Automata

Luca Mariot, Enrico Formenti외 1명|arXiv (Cornell University)|2016. 10. 01.

graph theory and CDMA systems참고 문헌 7인용 수 4

한 줄 요약

이 논문은 선형 세포자기유한(CA)을 이용해 상호 직교하는 라틴 제곱(MOLS)을 생성하는 방법을 제시한다. 두 선형 CA가 순서 $ q^m $의 직교 MOLS를 생성하는 것은 그들의 관련 다항식이 서로소일 때이고 그때에만 성립함을 증명한다. 이 구성은 CA 전이 행렬에서 유도된 실베스터 행렬을 활용하여, CA 기반 조합 설계를 통해 제한 없는 액세스 구조를 가진 신뢰성 있는 비밀 분배 체계를 설계하는 데 새로운 접근법을 제공한다.

ABSTRACT

We undertake an investigation of combinatorial designs engendered by cellular automata (CA), focusing in particular on orthogonal Latin squares and orthogonal arrays. The motivation is of cryptographic nature. Indeed, we consider the problem of employing CA to define threshold secret sharing schemes via orthogonal Latin squares. We first show how to generate Latin squares through bipermutive CA. Then, using a characterization based on Sylvester matrices, we prove that two linear CA induce a pair of orthogonal Latin squares if and only if the polynomials associated to their local rules are relatively prime.

연구 동기 및 목표

• 임계값 비밀 분배 체계를 지원하기 위해 CA 기반의 직교 라틴 제곱(MOLS)을 생성하는 방법을 개발한다.
• 이전의 CA 기반 비밀 분배에서의 순차적 액세스 제한을 극복하기 위해 제한 없는 액세스 구조를 가능하게 한다.
• 두 선형 CA가 직교 MOLS를 생성하는 조건을 규명한다.
• 다항식의 서로소성과 함께 CA 설계와 직교 배열(OA)과 같은 조합적 구조물 간의 연결 고리를 설정한다.
• CA 진화와 행렬 역행렬을 이용해 비밀 분배에서의 공유를 효율적으로 생성하는 실용적 프레임워크를 제공한다.

제안 방법

• 유한체 $ \mathbb{F}_q $ 위에서 반경 $ r $, 길이 $ 2m $인 이중순열적 선형 CA에서 라틴 제곱을 구성하며, 여기서 $ m $은 $ 2r $의 배수이다.
• 지역 규칙에서 유도된 전이 행렬을 사용하여 선형 CA의 전역 규칙을 선형 변환으로 표현한다.
• 두 선형 CA의 전이 행렬을 이어붙여 실베스터 행렬을 구성하며, 이는 유도된 라틴 제곱의 직교성을 결정한다.
• 유도된 라틴 제곱이 직교함은 실베스터 행렬이 가역일 때, 즉 관련 다항식의 결과값(resultant)이 0이 아닐 때에만 성립함을 증명한다.
• 결과값 조건을 이용해 직교성이 다항식이 서로소일 때 정확히 성립함을 보여준다.
• 비밀을 초기 상태에 무작위 벡터를 더한 상태에서 CA를 진화시켜 공유를 생성하고, 서로소 규칙의 실베스터 행렬을 역행렬하여 복구함으로써 비밀 분배를 가능하게 한다.

실험 결과

연구 질문

• RQ1 두 선형 세포자기유한이 어떤 조건에서 직교 라틴 제곱을 생성하는가?
• RQ2 선형 CA에 의해 생성된 라틴 제곱의 직교성은 대수적으로 어떻게 특징지을 수 있는가?
• RQ3 다항식의 서로소성은 CA에 의해 유도된 라틴 제곱의 직교성 확보에 어떤 역할을 하는가?
• RQ4 이 구성 방법을 사용해 제한 없는 액세스 구조를 가진 CA 기반의 임계값 비밀 분배 체계를 설계할 수 있는가?
• RQ5 이러한 체계에서 공유를 CA 진화와 행렬 역행렬을 이용해 효율적으로 계산하고 복구할 수 있는가?

주요 결과

• 두 선형 세포자기유한이 순서 $ q^m $의 직교 라틴 제곱을 생성하는 것은 그들의 지역 규칙과 관련된 다항식이 서로소일 때에만 성립한다.
• 직교성 조건은 두 CA의 전이 행렬로 구성된 실베스터 행렬이 가역일 때와 동치이다.
• 차수 $ 2r $의 $ n $개의 상호소인 다항식을 선택함으로써, $ 2r $가 $ m $을 나눌 때 순서 $ q^m $의 $ n $개의 상호 직교 라틴 제곱을 생성할 수 있다.
• 이 구성에 기반한 비밀 분배 체계는 $ t=2 $의 임계값을 지원하며, 어떤 두 플레이어도 자신의 공유와 실베스터 행렬의 역행렬을 사용해 비밀을 복구할 수 있다.
• 복구 단계에서는 두 서로소 다항식의 실베스터 행렬을 역행렬하고, 이를 연결된 공유에 곱하여 비밀과 무작위 벡터를 복구한다.
• 이 방법은 정보 이론적 보안을 확보하고 유연한 액세스 제어를 가능하게 하는 CA 기반 비밀 분배 체계를 체계적이고 효율적으로 생성할 수 있다.