[논문 리뷰] An extension of Massey scheme for secret sharing

Romar dela Cruz, Annika Meyer외 1명|arXiv (Cornell University)|2010. 04. 16.

Cryptography and Data Security참고 문헌 14인용 수 16

한 줄 요약

이 논문은 선형 코드를 사용하여 Massey의 기밀 공유 체계를 확장하며, 다중 기밀(l > 1)을 공유하기 위한 일반화된 구성법을 도입하고, 이중 코드와 g중합 무게 생성함수를 통해 액세스 구조를 특성화한다. 주요 기여는 이중 코드의 코드워드 중 특정 지지집합과 무게 조건을 만족하는 것을 통해 최소 액세스 그룹을 특성화한 것으로, 자아이누어리언 이론과 Molien 급수를 활용하여 자기이중 코드에 대해 액세스 구조를 분석할 수 있게 한다.

ABSTRACT

We consider an extension of Massey's construction of secret sharing schemes using linear codes. We describe the access structure of the scheme and show its connection to the dual code. We use the $g$-fold weight enumerator and invariant theory to study the access structure.

연구 동기 및 목표

• 원래 단일 기밀을 처리하는 Massey의 기밀 공유 체계를 다중 기밀(l > 1)을 공유할 수 있는 일반화된 체계로 확장하기.
• 이중 코드와 일반화된 하밍 무게의 성질을 이용하여 확장된 체계의 액세스 구조를 특성화하기.
• 관측 이론과 g중합 무게 생성함수를 적용하여 자기이중 코드에 대해 액세스 구조를 분석하기.
• 최소 액세스 그룹 크기의 하한을 제공하고, 주어진 크기의 액세스 그룹 수를 대수적 불변량을 사용하여 계산하기.
• 기존의 완벽한 체계를 비완벽한 체계로 확장하여 더 작은 공유 크기를 갖도록 하여 정보율 효율성을 향상시키기.

제안 방법

• F_q 위의 [l+n, k, d] 선형 코드를 사용하며, 생성행렬 G는 l개의 기밀 컬럼과 n개의 공유 컬럼으로 분할된다.
• 기밀 벡터 s ∈ F_q^l은 uG_i = s_i (1 ≤ i ≤ l)를 만족하는 벡터 u를 선택하여 인코딩되며, 공유는 c_{l+i} = uG_{l+i}로 할당된다.
• 액세스 구조는 참가자 그룹 B가 기밀을 복구할 수 있는 조건이 첫 l개 컬럼의 스팬이 B의 공유의 스팬에 포함될 때 성립한다.
• 논문은 다음과 같은 조건을 만족하는 C⊥의 코드워드 v_j ∈ C⊥를 도입하여 일반화된 조건을 제시한다: (i) v_j의 첫 l개 성분이 표준 기저 벡터 e_j와 같고, (ii) v_j의 지지집합이 {j} ∪ B에 포함된다.
• 자기이중 코드의 경우, 이중 코드의 4중합 무게 생성함수 J_{1_{T1},1_{T2},C,C}(x_a)를 통해 관측 이론을 적용하며, 이는 이진 코드에 대해 유형 I의 G1 및 유형 II의 G2 작용에 대해 불변이다.
• V1에서 총 차수 r, V2와 V3에서 각각 차수 1인 불변량 공간에 대해 Molien 급수 F_G(r)를 계산하여 생성함수를 통해 액세스 그룹을 수량화한다.

실험 결과

연구 질문

• RQ1 Massey의 기밀 공유 체계는 다중 기밀(l > 1)을 처리하면서도 구조적 성질을 유지할 수 있도록 어떻게 일반화할 수 있는가?
• RQ2 이중 코드와 코드워드의 지지집합 조건을 활용하여 확장된 체계에서 최소 액세스 그룹을 정확히 어떻게 특성화할 수 있는가?
• RQ3 일반화된 하밍 무게 d_l^⊥과 최소 이중 거리 d^⊥은 액세스 그룹 크기의 하한에 어떻게 관련되는가?
• RQ4 관측 이론과 중합 무게 생성함수를 사용하여 자기이중 코드에 대해 액세스 그룹을 수량화하고 액세스 구조를 기술할 수 있는가?
• RQ5 확장된 체계의 정보율과 공유 크기 효율성은 완벽한 체계와 비교하여 어떠한가?

주요 결과

• 모든 그룹 B에 대해, 참가자들이 기밀을 복구할 수 있는 것은, v_j ∈ C⊥인 코드워드 v_j가 존재하여 v_j의 첫 l개 성분이 e_j와 같고, supp(v_j) ⊆ {j} ∪ B를 만족할 때이다.
• 액세스 그룹의 최소 크기는 3/2(d^⊥ - l) 이상이며, 여기서 d^⊥은 이중 코드의 최소 무게이므로 계산 가능한 하한을 제공한다.
• d^⊥ = 8이고 l = 2인 특정 코드에 대해 크기가 12인 액세스 그룹의 수는 정확히 36,960개이며, 중합 무게 생성함수와 보조정리 6를 사용하여 계산되었다.
• 자기이중 코드의 4중합 무게 생성함수는 G1(유형 I) 또는 G2(유형 II) 작용에 대해 불변이며, 이를 통해 Molien 급수를 사용한 수량화가 가능하다.
• MAGMA를 사용하여 유형 I 및 유형 II 코드에 대해 V1에서 차수 r, V2와 V3에서 각각 차수 1인 불변량의 생성함수 F_G(r)를 명시적으로 계산하였다.
• l ≥ 2인 경우 체계는 비완벽하며, 기밀보다 작은 공유 크기를 허용하여 정보율이 l이 되어 완벽한 체계보다 더 효율적이다.