[논문 리뷰] Secret sharing with a class of minimal linear codes

Yun Song, Zhihui Li|arXiv (Cornell University)|2012. 02. 18.

Cryptography and Data Security참고 문헌 7인용 수 10

한 줄 요약

이 논문은 코딩 이론에 기반한 기밀 공유 체계의 구성과 분석을 단순화하기 위해 최소 선형 코드를 도입한다. 최소 선형 코드의 단순화된 코드가 최소로 유지됨을 증명하고, 기약 순환 코드가 최소 선형 코드가 되는 조건을 설정함으로써, 이중 기반 체계에서 액세스 구조를 더 쉽게 결정할 수 있게 되었으며, 특정 경우에서는 프로그래밍을 통해 구체적인 액세스 구조를 도출하였다.

ABSTRACT

There are several methods for constructing secret sharing schemes, one of which is based on coding theory. Theoretically, every linear code can be used to construct secret sharing schemes. However, in general, determining the access structures of the schemes based on linear codes is very hard. This paper proposed the concept of minimal linear code, which makes the determination of the access structures of the schemes based on the duals of minimal linear codes easier. It is proved that the shortening codes of minimal linear codes are also minimal ones. Then the conditions whether several types of irreducible cyclic codes are minimal linear codes are presented. Furthermore, the access structures of secret sharing schemes based on the duals of minimal linear codes are studied, and these access structures in specific examples are obtained through programming.

연구 동기 및 목표

• 선형 코드 기반 기밀 공유 체계의 액세스 구조를 결정하는 데 어려움을 해결하기 위해.
• 액세스 구조 분석을 단순화하기 위한 도구로 최소 선형 코드의 개념을 도입하기 위해.
• 기약 순환 코드가 최소 선형 코드가 되는 조건을 설정하기 위해.
• 최소 선형 코드의 이중을 이용해 구성된 기밀 공유 체계의 액세스 구조를 연구하기 위해.
• 계산 프로그래밍을 통해 구체적인 액세스 구조 예시를 제공하기 위해.

제안 방법

• 기밀 공유 체계에서 액세스 구조 결정을 단순화하는 선형 코드의 일종으로 최소 선형 코드를 정의하기 위해.
• 최소 선형 코드의 단순화가 다른 최소 선형 코드를 생성함을 증명하기 위해.
• 특정 유형의 기약 순환 코드가 최소 선형 코드로 간주될 수 있는 조건을 유도하기 위해.
• 최소 선형 코드의 이중을 기반으로 한 기밀 공유 체계의 액세스 구조를 분석하기 위해.
• 특정 코드 예제에서 액세스 구조를 결정하고 검증하기 위한 계산 방법을 구현하기 위해.
• 프로그래밍을 활용하여 최소 선형 코드의 실제 사례에서 액세스 구조를 유도하고 검증하기 위해.

실험 결과

연구 질문

• RQ1 기약 순환 코드가 최소 선형 코드가 되는 조건는 무엇인가?
• RQ2 단순화 연산이 선형 코드의 최소성에 어떤 영향을 미치는가?
• RQ3 최소 선형 코드의 이중에서 유도된 기밀 공유 체계의 액세스 구조는 무엇인가?
• RQ4 이러한 체계의 액세스 구조는 체계적으로 결정하고 계산할 수 있는가?
• RQ5 프로그래밍을 어떻게 활용하여 구체적인 코드 예제에서 액세스 구조를 도출하고 검증할 수 있는가?

주요 결과

• 최소 선형 코드의 단순화는 다른 최소 선형 코드를 생성하며, 이는 이 연산에 대해 닫혀 있음을 보장한다.
• 일부 기약 순환 코드가 최소임을 보장하는 조건가 설정되어, 이러한 코드의 체계적 식별이 가능해졌다.
• 최소 선형 코드의 이중을 기반으로 한 기밀 공유 체계의 액세스 구조는 일반적인 경우보다 더 쉽게 결정할 수 있다.
• 특정 사례에 대한 구체적인 액세스 구조는 프로그래밍을 통해 성공적으로 계산되고 검증되었다.
• 최소 선형 코드의 사용은 코딩 이론 기반 기밀 공유 체계에서 액세스 구조 분석을 크게 단순화시켰다.
• 이 프레임워크를 통해 알려진 순환 코드의 클래스를 이용해 예측 가능하고 분석 가능한 액세스 구조를 갖는 기밀 공유 체계를 구축할 수 있게 되었다.