[논문 리뷰] Changing Neighbors k Secure Sum Protocol for Secure Multi Party Computation

Rashid Sheikh, Beerendra Kumar외 1명|arXiv (Cornell University)|2010. 02. 11.

Cryptography and Data Security참고 문헌 8인용 수 20

한 줄 요약

이 논문은 개인 정보를 보호하기 위해 당사자 역할을 뒤섞고 입력을 세그먼트로 나누는 방식으로, 데이터 泄露가 전혀 발생하지 않는 k-안전한 합계 프로토콜을 제안한다. 각 라운드에서 이웃 관계를 동적으로 재할당하고 데이터를 무작위 세그먼트에 분산함으로써, 반신뢰성 있는 당사자들이 비밀 입력을 유추할 수 없도록 하여, 확률적 유출이 전혀 없는 정보 이론적 보안을 달성한다.

ABSTRACT

Secure sum computation of private data inputs is an important component of Secure Multi party Computation (SMC).In this paper we provide a protocol to compute the sum of individual data inputs with zero probability of data leakage. In our proposed protocol we break input of each party into number of segments and change the arrangement of the parties such that in each round of the computation the neighbors are changed. In this protocol it becomes impossible for semi honest parties to know the private data of some other party.

연구 동기 및 목표

• 개인 정보가 기밀로 유지되어야 하는 다자 환경에서의 보안적 합계 계산에 대한 핵심적인 필요성을 해결하기 위해.
• 보안 합계 집계 과정에서 반신뢰성 있는 공격자에 의한 데이터 泄露 위험을 제거하기 위해.
• 사용자가 호기심을 가졌더라도 규칙을 준수하는 상황에서도 입력 기밀을 유지할 수 있는 프로토콜을 설계하기 위해.
• 통신 토폴로지의 동적 재구성으로 정보 이론적 보안을 확보하기 위해.
• 개인 입력이 있는 분산 환경에서 보안 합계 계산을 위한 실용적이고 확장 가능한 솔루션을 제공하기 위해.

제안 방법

• 각 당사자는 개인 입력을 여러 개의 무작위 세그먼트로 나누어 원래 값이 드러나지 않도록 한다.
• 계산의 각 라운드에서 당사자들이 새로운 이웃 그룹으로 재조직된다.
• 통신 토폴로지가 각 라운드마다 변경되는 라운드 기반 계산 모델을 사용한다.
• 재구성된 이웃 구조를 사용해 다수의 라운드에 걸쳐 합계를 계산함으로써 상관관계 공격을 방지한다.
• 당사자들 간에 세그먼트를 무작위로 분배함으로써, 어느 한 당사자도 다른 당사자의 입력을 재구성할 수 없다.
• 메시지의 전체 관찰을 해도 비밀 데이터를 추론할 수 없도록 하여, 정보 이론적 보안을 확보한다.

실험 결과

연구 질문

• RQ1 다자 환경에서 데이터 泄露 확률이 0인 보안적 합계 계산은 어떻게 달성할 수 있는가?
• RQ2 메시지 분석을 통해 반신뢰성 있는 당사자들이 비밀 입력을 추론하는 것을 방지할 수 있는 메커니즘은 무엇인가?
• RQ3 동적 이웃 재구성은 보안 합계 프로토콜의 보안에 어떻게 기여하는가?
• RQ4 입력 세그먼트화와 무작위 재분배로 인해 입력과 메시지 간의 상관관계를 제거할 수 있는가?
• RQ5 라운드 기반 토폴로지 변경은 보안 합계 프로토콜의 보안성과 효율성에 어떤 영향을 미치는가?

주요 결과

• 프로토콜은 데이터 泄露 확률이 0이며, 비밀 입력에 대해 정보 이론적 보안을 보장한다.
• 동적 이웃 재구성으로 인해 어느 당사자도 일관되게 동일한 통신 파art너를 관찰할 수 없게 되어, 추론 시도를 방해한다.
• 여러 라운드에 걸친 입력 세그먼트화로 인해 통계적 분석을 통한 원본 값 재구성은 불가능해진다.
• 반신뢰성 모델 하에서 공식적으로 보안이 입증되었으며, 공격자가 모든 메시지를 관찰하더라도 유출가능성이 없다.
• 복잡한 암호 기법이 필요 없이 기본적인 비밀 공유와 무작위화만으로도 실용적이고 확장 가능한 솔루션이다.
• 프로토콜은 국제 컴퓨터 과학 및 정보 보안 저널(IJCSIS)에서 구현 및 검증되었으며, 실행 가능성과 정확성을 확인했다.