[논문 리뷰] Secure Modulo Sum via Multiple Access Channel

Masahito Hayashi|arXiv (Cornell University)|2018. 12. 28.

Cryptography and Data Security참고 문헌 29인용 수 4

한 줄 요약

이 논문은 다중 액세스 채널(MAC)을 통해 모듈로 q에 대한 합을 안전하게 계산하는 프로토콜을 제안하며, 개인 정보가 泄露되지 않도록 여러 당사자가 자신의 비밀 입력의 합을 모듈로 q로 계산할 수 있도록 한다. 채널 코딩과 비밀성 분석을 활용하여 안전한 모듈로 합 용량의 하한을 도출하였으며, 가우시안 MAC에 대해 명시적인 수치 결과를 제시하여 무선 통신 시스템에서의 실용 가능성을 입증한다.

ABSTRACT

We discuss secure computation of modular sum when multiple access channel from distinct players $A_1, \ldots, A_c$ to a third party (Receiver) is given. Then, we define the secure modulo sum capacity as the supremum of the transmission rate of modulo sum without information leakage of other information. We derive its useful lower bound, which is numerically calculated under a realistic model that can be realizable as a Gaussian multiple access channel (MAC).

연구 동기 및 목표

• 기존의 안전한 통신 채널 대신 다중 액세스 채널(MAC)을 사용하여 다수의 당사자 간에 안전하게 모듈로 합을 계산할 수 있도록 하는 것.
• 안전한 모듈로 합 용량을 정의하고 분석하여, 합의 신뢰성 있고 비밀 유지된 전송 속도의 최대치를 도출하는 것.
• 일반적인 MAC 조건 하에서 안전한 모듈로 합 용량의 하한을 확립하고, 특히 현실적인 가우시안 MAC 모델에 대해 분석하는 것.
• 암호학적 키 분배에 의존하지 않고도 무선 네트워크에서 안전한 계산을 달성할 수 있는지의 실현 가능성을 입증하는 것.
• 다자간 계산을 위한 안전한 제로섬 랜덤니스 생성 및 익명 인증과 같은 애플리케이션을 지원하기 위해 프로토콜을 확장하는 것.

제안 방법

• 수신자가 오직 모듈로 합만을 노출하는 조건에서의 전송 속도의 상한으로서 안전한 모듈로 합 용량을 수식적으로 정의한다.
• R\'enyi 산란도와 $s$-R\'enyi 산란도를 사용한 정보 이론적 비밀성 분석을 적용하여 정보 泄露를 제한한다.
• $s$-R\'enyi 산란도와 채널 열화 기법을 활용하여 안전한 모듈로 합 용량의 하한을 유도한다.
• 아핀 코드 구조와 최대 우도 디코딩을 활용하여 수신자가 모듈로 합을 신뢰성 있게 복구할 수 있도록 보장한다.
• 메시지를 무작위 선형 코딩으로 인코딩하여 개인 입력을 가림으로써 계산-포워딩 프레임워크를 안전한 환경에 맞게 적응시킨다.
• 채널을 실수 값의 가우시안 가우시안 노이즈 채널로 모델링하고 이산 입력을 가정하여 가우시안 MAC의 경우를 분석하며, 가용 가능한 전송 속도를 수치적으로 계산한다.

실험 결과

연구 질문

• RQ1 다수의 당사자가 개인 입력을 泄露하지 않고 MAC를 통해 모듈로 합을 안전하게 계산할 수 있는 최대 속도는 얼마인가?
• RQ2 수신자가 신호의 중첩을 관측하는 MAC 환경에서 비밀성이 어떻게 보장될 수 있는가?
• RQ3 일반적인 MAC에 대해 안전한 모듈로 합 용량의 하한은 무엇이며, 대칭 또는 반대칭 조건 하에서는 어떻게 행동하는가?
• RQ4 제안된 프로토콜은 실질적인 무선 시스템, 예를 들어 가우시안 MAC에서 실현 가능할 수 있으며, 가용 가능한 전송 속도는 무엇인가?
• RQ5 무작위 선형 코딩과 채널 열화 기법의 사용이 계산의 신뢰성과 비밀성 모두를 보장하는 방식은 무엇인가?

주요 결과

• 안전한 모듈로 합 용량은 $s$-R\'enyi 산란도를 포함하는 함수로 하한이 제시되며, 일반적인 MAC에 대해 계산 가능한 하한을 제공한다.
• 대칭 MAC의 경우, 안전한 모듈로 합 용량은 단일 사용자 채널의 용량과 동일하며, 분석과 설계를 단순화시킨다.
• 가우시안 MAC 모델에서는 안전한 모듈로 합 용량의 하한을 수치적으로 계산하였으며, 무선 네트워크에서의 실용 가능성을 보여준다.
• 아핀 코드와 최대 우도 디코딩을 활용하여 모듈로 합이 신뢰성 있게 복구되며, 식 (21)의 속도 조건 하에서 오류 확률은 0에 수렴한다.
• 인코딩 시 균일 분포를 가진 무작위 키를 사용함으로써 수신자가 개인 메시지를 노출하지 않도록 보장하여 비밀 조건을 충족한다.
• 이 프레임워크는 $k+1$명의 당사자 간에 안전한 제로섬 랜덤니스를 생성할 수 있으며, 이는 안전한 다자간 계산 및 익명 인증을 위한 암호학적 원천으로 활용될 수 있다.