[논문 리뷰] Incremental and Decremental Secret Key Agreement

Chung Chan, Ali Al-Bashabsheh외 1명|arXiv (Cornell University)|2016. 05. 06.

Wireless Communication Security Techniques참고 문헌 21인용 수 3

한 줄 요약

이 논문은 다항적 비밀 키 합의에서의 두 가지 새로운 문제인 증분적(이하 ISKA) 및 감소적(이하 DSKA) 비밀 키 합의를 제안한다. 이는 공통 랜덤니스를 추가하거나 제거할 때 비밀성 용량에 미치는 영향을 분석한다. 비밀성 용량 증가에 기여하는 핵심 집합은 하위모듈러 함수 최소화를 통해 강력 다항 시간 내에 계산 가능하며, 핵심 간선들 사이에 일관된 증가율이 존재할 것이라 추측한다.

ABSTRACT

We study the rate of change of the multivariate mutual information among a set of random variables when some common randomness is added to or removed from a subset. This is formulated more precisely as two new multiterminal secret key agreement problems which ask how one can increase the secrecy capacity efficiently by adding common randomness to a small subset of users, and how one can simplify the source model by removing redundant common randomness that does not contribute to the secrecy capacity. The combinatorial structure has been clarified along with some meaningful open problems.

연구 동기 및 목표

• 사용자 하위집합에 공통 랜덤니스를 추가함으로써 비밀성 용량이 어떻게 증가하는지 효율적으로 모델링하기.
• 비밀성 용량을 감소시키지 않으면서 제거할 수 있는 부족한 공통 랜덤니스를 식별하기.
• 다항적 비밀 키 합의에서 최적의 분할과 핵심 집합의 조합 구조를 규명하기.
• 강력 다항 시간 내에 핵심 집합과 최적의 분할을 계산하는 알고리즘 개발하기.

제안 방법

• 다변량 상호정보(MMI)에 기반한 최적화 문제로 증분적 및 감소적 비밀 키 합의를 수립한다.
• 비밀성 용량을 $ I( {Z}_V) $로 정의하며, $ {P} otin {P}'(V) $ 에 대한 분할 최소화를 통해 정의한다.
• 최대의 0 집합과 핵심 집합 $ {S}_{ {crit}}( {Z}_V) $ 를 특징짓기 위해 0-싱글턴 하위모듈러 함수 $ g $ 를 도입하여 효율적인 계산을 가능하게 한다.
• 격자 가족 위에서 하위모듈러 함수 최소화를 적용하여 $ O(|V|^2) $ 단계 내에 기본 분할과 핵심 집합을 계산한다.
• $ {Z}(g) $, 즉 $ g $ 의 0 집합의 가족이 $ {P}^*( {Z}_V) $ 내 최대 집합을 결정하며, 이는 구조와 용량을 연결한다.
• 핵심 집합 $ {S}_{ {crit}}( {Z}_V) $ 가 강력 다항 시간 내에 계산 가능하며, 핵심 간선들 사이에 일관된 증가율이 존재할 것이라 추측한다.

실험 결과

연구 질문

• RQ1 다항적 비밀 키 합의에서 사용자 하위집합에 공통 랜덤니스를 추가할 경우 비밀성 용량은 어떻게 영향을 받는가?
• RQ2 어느 공통 랜덤니스가 부족하여 제거해도 비밀성 용량을 감소시키지 않으며, 이를 식별할 수 있는가?
• RQ3 비밀성 용량 증가를 극대화하는 핵심 집합은 효율적으로 계산할 수 있는가?
• RQ4 MMI 프레임워크 내에서 최적의 분할과 최대 집합의 조합 구조는 어떠한가?
• RQ5 비밀성 용량 증가율은 모든 핵심 간선에서 동일한가?

주요 결과

• 증분적 비밀 키 합의(ISKA) 문제는 최소한의 공통 랜덤니스 추가로 비밀성 용량 증가를 극대화하도록 수립된다.
• 감소적 비밀 키 합의(DSKA) 문제에서는 비밀성 용량을 감소시키지 않으면서 제거할 수 있는 공통 랜덤니스를 식별한다.
• 비밀성 용량 증가를 결정짓는 핵심 집합 $ {S}_{ {crit}}( {Z}_V) $ 는 강력 다항 시간 내에 계산 가능하다.
• 하위모듈러 함수 $ g $ 에서 유도된 최대 0 집합의 가족 $ {Z}(g) $ 는 최적의 분할의 구조를 완전히 특징짓는다.
• 최적의 분할 $ {P}^*( {Z}_V) $ 와 비밀성 용량 $ I( {Z}_V) $ 는 $ O(|V|^2) $ 번의 하위모듈러 함수 최소화를 통해 계산 가능하다.
• 논문은 모든 핵심 간선 $ S o {S}_{ {crit}}( {Z}_V) $ 가 동일한 증가율을 가지며, $ r_S^+ = rac{|S|-1}{| {P}^*( {Z}_V)|-1} $ 라는 값을 갖는다고 추측한다.