[논문 리뷰] Strong security and separated code constructions for the broadcast channels with confidential messages

Ryutaroh Matsumoto, Masahito Hayashi|arXiv (Cornell University)|2010. 10. 05.

Cellular Automata and Applications참고 문헌 22인용 수 7

한 줄 요약

이 논문은 강한 보안 기준(비밀 메시지와 탈취자 관측 간 상호정보량이 점 渐 渐으로 0이 되는 조건)이 약한 보안 기준과 비교할 때 브로드캐스트 채널에 대한 기밀 메시지의 용량 영역이 변화하지 않음을 입증한다. 기존의 데그래드 메시지 세트를 갖는 브로드캐스트 채널 코드에 해시 함수의 역함수를 첨부하여 비밀성과 오류 수정을 분리하는 코드 설계 방법을 제안함으로써, 강한 보안 조건 하에서 최적의 비율 쌍을 달성할 수 있다.

ABSTRACT

We show that the capacity region of the broadcast channel with confidential messages does not change when the strong security criterion is adopted instead of the weak security criterion traditionally used. We also show a construction method of coding for the broadcast channel with confidential messages by using an arbitrary given coding for the broadcast channel with degraded message sets.

연구 동기 및 목표

• 강한 보안 기준(비밀 메시지와 탈취자 관측 간 상호정보량이 블록 길이에 따라 정규화되지 않고 점 渐 渐으로 0이 되는 조건)을 적용했을 때 기밀 메시지가 수반된 브로드캐스트 채널(BCC)의 용량 영역이 변화하는지 여부라는 열린 문제를 해결하기 위해.
• BCC에서 비밀성 코드 설계와 오류 수정 코드 설계를 분리함으로써 최적성은 유지하면서 독립적인 설계가 가능한 코드 설계 방법을 개발하기 위해.
• 강한 보안 기준이 비밀 메시지와 탈취자 출력 간 상호정보량이 블록 길이에 따라 정규화되지 않고 점 渐 渐으로 0이 되는 조건을 요구함에도 불구하고, BCC의 알려진 용량 영역과 호환됨을 입증하기 위해.
• 해시 함수의 역함수를 첨부한 상황에서 상호정보량에 대한 상한을 계산하는 절차를 제공하여, 점 渐 渐적 영역에서 강한 보안을 확보하기 위해.

제안 방법

• 데그래드 메시지 세트를 갖는 브로드캐스트 채널(BCD)에 대해 랜덤 코딩 추론을 적응하여, 강한 보안을 달성하기 위해 해시 함수의 역함수를 첨부함.
• 두-유니버설 해시 함수를 사용한 프라이버시 강화 정리로, 비밀 메시지와 탈취자 출력 간 상호정보량을 감소시킴.
• 갈라지의 함수 $\phi$ 를 적용하여 상호정보량 $I(S_n; Z^n | F_n)$ 에 대한 상한을 구함. 이때 $\phi$ 의 볼록성과 최적화를 위해 활용함.
• 표현식 $\frac{\mathbb{E}[|\mathcal{S}_n|^\rho \exp(\phi(\rho, P^{n}_{Z|V}, P_{e_n(B_n,E_n)}))]}{ |\mathcal{B}_n \times \mathcal{E}_n|^\rho \rho }$ 를 사용하여 상호정보량에 대한 상한을 유도함. 이 표현식은 $\rho$ 와 $P_1$ 에 대해 최소화됨.
• 이분법과 볼록 최적화를 활용하여 입력 분포에 대해 함수 $\phi$ 의 지수의 최솟값을 계산함으로써, 비밀성 성능의 실용적 평가를 가능하게 함.
• 만약 $R_0 < I(U;Z)$ 이면, $n \to \infty$ 일 때 상호정보량 $I(S_n; Z^n | F_n) \to 0$ 임을 보여 강한 보안을 확보함.

실험 결과

연구 질문

• RQ1 기밀 메시지가 수반된 브로드캐스트 채널(BCC)의 용량 영역이 약한 보안 기준 대신 강한 보안 기준을 적용했을 때 변화하는가?
• RQ2 오류 수정과 비밀성 코드 설계를 분리함으로써 최적성 손실 없이도 점 渐 渐적 비율 영역에서 성능을 유지할 수 있는 코드 설계 방법을 개발할 수 있는가?
• RQ3 BCD 코드에 해시 함수의 역함수를 첨부한 상황에서 비밀 메시지와 탈취자 관측 간 상호정보량에 대한 상한을 계산할 수 있는가?
• RQ4 제안된 방법은 약한 보안 기준과 동일한 비율 쌍을 유지하면서도 강한 보안을 달성할 수 있는가?

주요 결과

• 기밀 메시지가 수반된 브로드캐스트 채널의 용량 영역은 약한 보안 기준과 강한 보안 기준 모두에서 동일하며, 정보 이론적 보안 분야의 열린 문제를 해결함.
• 비밀 메시지와 탈취자 관측 간 상호정보량 $I(S_n; Z^n | F_n)$ 가 해시 함수의 역함수를 사용한 코드 설계 시 $n \to \infty$ 일 때 0으로 수렴함을 보여 강한 보안 기준을 충족함.
• 제안된 코드 설계 방법은 BCD 코드에 해시 함수의 역함수를 첨부하여 비밀성과 오류 수정을 분리함으로써, 오류 수정 요소와 비밀성 달성 요소를 독립적으로 설계할 수 있음.
• 갈라지의 함수 $\phi$ 를 사용하여 $I(S_n; Z^n | F_n)$ 에 대한 상한을 도출하였으며, 이 상한은 볼록 최적화를 통해 최소화 가능하여 비밀성 성능의 실용적 평가가 가능함.
• 만약 $R_0$ 가 $I(U;Z)$ 에 비해 충분히 작다면, 임의의 비율 쌍 $(R_0, R_1)$ 이 조건 $R_1 \leq R_0 + R'_1 - \max_{P_V} I(V;Z)$ 를 만족할 경우 강한 보안 하에서도 달성 가능함.
• 입력 신호가 각 채널 사용 시 고정된 유한 부분집합에서 선택되는 경우, 결과는 가우시안 채널로 확장되며 분석에 소량의 수정만 필요함.