[논문 리뷰] Converses for Secret Key Agreement and Secure Computing

Himanshu Tyagi, Shun Watanabe|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2014. 04. 23.

Wireless Communication Security Techniques참고 문헌 57인용 수 5

한 줄 요약

이 논문은 비밀 키(SK) 합의 및 보안 계산을 위한 단일 샘플 역한계(single-shot converse bounds)를 제안하며, 비밀 키 생성 문제를 이元가설 검정(binary hypothesis testing)으로 환원하는 새로운 방법을 사용한다. 주요 기여는, 제3자(스노이)의 측정 정보를 조건으로 하여 당사자들의 관측치가 조건부로 독립이 되게 하는 분포와 당사자들의 관측치의 진짜 연합분포 사이의 통계적 거리에 기반하여 최대 비밀 키 길이를 상한으로 제시하는 조건부 독립성 검정 기반의 상한을 제시하는 것이다. 이는 상호 공개 통신(interactive public communication) 하에서 비밀 키 합의 및 보안 함수 계산에 대해 이전 결과들을 향상시킨다.

ABSTRACT

We consider information theoretic secret key agreement and secure function computation by multiple parties observing correlated data, with access to an interactive public communication channel. Our main result is an upper bound on the secret key length, which is derived using a reduction of binary hypothesis testing to multiparty secret key agreement. Building on this basic result, we derive new converses for multiparty secret key agreement. Furthermore, we derive converse results for the oblivious transfer problem and the bit commitment problem by relating them to secret key agreement. Finally, we derive a necessary condition for the feasibility of secure computation by trusted parties that seek to compute a function of their collective data, using an interactive public communication that by itself does not give away the value of the function. In many cases, we strengthen and improve upon previously known converse bounds. Our results are single-shot and use only the given joint distribution of the correlated observations. For the case when the correlated observations consist of independent and identically distributed (in time) sequences, we derive strong versions of previously known converses.

연구 동기 및 목표

• 독립identically distributed(i.i.d.) 시퀀스를 가정하지 않고도 관련 관측치의 연합분포만을 사용하여 다자간 비밀 키 합의에 대한 날카로운 역한계를 도출하는 것.
• 비밀 키 합의와 이원가설 검정 사이의 구조적 연결 고리를 확립하여 비밀 키 용량에 대한 새로운 상한을 도출하는 것.
• 비밀 키 합의로 환원할 수 있는 오블리버스 터널( oblivious transfer) 및 비트 기반 암호화(bit commitment) 등의 보안 두 명의 계산 문제로 프레임워크를 확장하는 것.
• 비밀 키 길이가 함수 값의 유출 없이 공개적이고 상호작용 가능한 통신만을 사용하는 신뢰할 수 있는 당사자들 간의 보안 계산의 가능성을 위한 필요 조건을 제공하는 것.
• 특히 i.i.d. 및 유한 길이 설정에서 기존에 알려진 역한계를 강화하고 일반화하는 것.

제안 방법

• 최적의 제2종 오류 확률을 연합분포와 곱분포 사이의 통계적 거리의 대체 척도로 사용하여 다자간 비밀 키 합의를 이원가설 검정으로 환원하는 방법을 개발한다.
• 핵심 상한은 조건부 독립성 검정 프레임워크를 사용하여 유도되며, 이는 비밀 키 길이의 상한이 제3자 측정 정보를 조건으로 하여 당사자들의 관측치가 조건부로 독립이 되게 하는 분포와 진짜 연합분포 사이의 거리에 의존함을 보여준다.
• 상호작용 가능한 공개 통신을 고려하여 현실적인 암호 프로토콜에서 당사자들이 다수의 라운드 메시지를 교환할 수 있도록 한다.
• 오블리버스 터널 및 비트 기반 암호화 문제를 비밀 키 합의로 환원하고, 그 후 주요 정리를 적용함으로써 보안 계산 문제로의 방법을 확장한다.
• i.i.d. 시퀀스의 경우, 단일 샘플 상한이 강력한 역한계를 유도하며 기존의 두 번째 차수 점근적 행동과 일치함을 보여준다.
• 프레임워크는 일반적이며 가설 검정에서 기준 분포 Q를 임의로 선택할 수 있도록 하여 적용의 유연성을 제공한다.

실험 결과

연구 질문

• RQ1 스노이가 측정 정보에 접근할 수 있고 공개 통신이 허용될 때, 관련 관측치로부터 생성할 수 있는 비밀 키의 최대 길이는 얼마인가?
• RQ2 i.i.d. 시퀀스를 가정하지 않고도 관측치의 연합분포만을 사용하여 비밀 키 합의의 효율성을 어떻게 상한으로 제시할 수 있는가?
• RQ3 보안 함수 계산 문제는 비밀 키 합의로 환원될 수 있으며, 이러한 환원을 통해 유도할 수 있는 역한계는 무엇인가?
• RQ4 보안 전송 프로토콜에서 비밀 키 길이와 비밀성 매개변수 ε와 δ 사이의 상호 작용은 어떻게 되는가?
• RQ5 유도된 역한계는 i.i.d. 및 유한 길이 영역에서 알려진 결과와 어떻게 비교되는가?

주요 결과

• 두 당사자에 대한 최대 비밀 키 길이 Sε(X₁,X₂)는 −log βε+η(PX₁X₂ || PX₁×PX₂) + 2log(1/η)로 상한으로 제시되며, 여기서 β는 이원가설 검정에서 최적의 제2종 오류 확률이다.
• 다자 환경에서는 주요 결과가 제3자 측정 정보를 조건으로 하여 당사자들의 관측치가 조건부로 독립이 되게 하는 분포와 진짜 연합분포 사이의 거리를 측정하는 조건부 독립성 검정 기반 상한을 제공한다.
• 이 프레임워크는 오블리버스 터널 및 비트 기반 암호화 문제를 비밀 키 합의로 환원하고 주요 정리를 적용함으로써 새로운 역한계를 도출한다.
• i.i.d. 경우, 유도된 상한이 날카롭고 기존의 두 번째 차수 점근적 결과를 복원함을 보여준다.
• 매개변수 ε와 δ를 가진 메시지 M의 보안 전송을 위한 필요 조건은 비밀 키 길이 κ가 κ ≥ Hmin^ξ(PY) − O(1)를 만족해야 하며, κ와 ε+δ 사이에 상호 작용이 존재한다.
• 이 방법은 비밀성 초과로 확장되어 데이터 교환 및 프로토콜 시뮬레이션의 통신 복잡도에 대한 하한을 제공하며, 더 넓은 적용 가능성을 입증한다.