[논문 리뷰] Secure and Privacy-Preserving Average Consensus

Minghao Ruan, Muaz Ahmad외 1명|arXiv (Cornell University)|2017. 03. 28.

Distributed systems and fault tolerance참고 문헌 10인용 수 7

한 줄 요약

이 논문은 신뢰할 수 있는 제3자에 의존하지 않고 정확한 평균 값으로 수렴하는 보안성과 프라이버시를 보장하는 분산형, 히든드로모픽 암호 기반 프로토콜을 제안한다. 통신 중 상태 값을 패일리 암호체계로 암호화함으로써 데이터 기밀성과 결정론적 수렴을 동시에 확보하며, 시간에 따라 변하는 네트워크 구조에서도 성능을 유지를 한다. 라즈베리 파이 플랫폼에서의 실험 결과, 13단계 내로 정확한 수렴을 보였다.

ABSTRACT

Average consensus is fundamental for distributed systems since it underpins key functionalities of such systems ranging from distributed information fusion, decision-making, to decentralized control. In order to reach an agreement, existing average consensus algorithms require each agent to exchange explicit state information with its neighbors. This leads to the disclosure of private state information, which is undesirable in cases where privacy is of concern. In this paper, we propose a novel approach that enables secure and privacy-preserving average consensus in a decentralized architecture in the absence of any trusted third-parties. By leveraging homomorphic cryptography, our approach can guarantee consensus to the exact value in a deterministic manner. The proposed approach is light-weight in computation and communication, and applicable to time-varying interaction topology cases. A hardware implementation is presented to demonstrate the capability of our approach.

연구 동기 및 목표

• 기존 평균 수렴 프로토콜이 평문 상태 값을 교환함으로써 발생하는 프라이버시 누출 문제를 해결하기 위해.
• 신뢰할 수 있는 제3자 없이도 정확한 평균 수렴을 가능하게 하기 위해.
• 상태 정보의 암호화를 통해 도청 및 노드 해킹에 대한 보안을 확보하기 위해.
• 자원 제약이 있는 사이버-물리 시스템에 구현 가능하도록 계산 및 통신 오버헤드를 최소화하기 위해.
• 실세계 무선 및 모바일 네트워크에서 흔히 발생하는 시간에 따라 변하는 상호작용 네트워크 구조를 지원하기 위해.

제안 방법

• 프로토콜은 암호화된 값의 합을 안전하게 계산할 수 있도록 허용하는 덧셈형 히든드로모픽 암호체계인 패일리 암호체계를 사용한다.
• 각 노드는 공개 키를 사용해 자신의 상태 값을 암호화하고, 네트워크를 통해 이웃 노드들과 이를 교환한다.
• 이웃 노드들은 암호화된 값을 대상으로 히든드로모픽 덧셈을 수행하여 복호화 없이도 상태 값의 합을 계산함으로써 프라이버시를 유지한다.
• 암호화를 위해 실수형 상태 값을 정수로 매핑하기 위해 스케일링과 반올림을 포함한 양자화 단계를 통합하며, 복호화 후에 역스케일링을 적용한다.
• 비동기적 시작 조건 하에서 다중 노드 네트워크에서 노드 간 동기화를 보장하기 위해 카운터 기반 동기화 메커니즘을 도입한다.
• 병렬 처리를 위해 pthreads를 사용하여 다수의 통신 요청 및 응답을 동시에 처리할 수 있도록 하여 임베디드 플랫폼에서도 실시간 운영이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 분산형 평균 수렴 프로토콜이 진정한 평균으로 정확한 수렴을 이룰 수 있을까? 이때 노드의 프라이버시는 유지될 수 있을까?
• RQ2 신뢰할 수 있는 제3자가 없이도 히든드로모픽 암호를 분산 수렴에 어떻게 적용할 수 있을까?
• RQ3 자원 제약이 있는 시스템에서 암호화 및 복호화가 계산 및 통신 오버헤드에 미치는 영향은 어떠한가?
• RQ4 시간에 따라 변하는 네트워크 구조에서도 프로토콜이 정확성과 수렴성을 유지할 수 있을까?
• RQ5 완전히 분산된 환경에서 안전하고 효율적인 동기화는 어떻게 달성할 수 있을까?

주요 결과

• 제안된 프로토콜은 소음 기반 방법이 기대값으로 수렴하거나 오차 범위 내에서 수렴하는 것과 달리 결정론적 수렴을 달성하여 정확한 평균 값으로 수렴한다.
• 라즈베리 파이 6대를 사용한 실험 결과, 초기 상태 값 290, 746, 541, 383, 301, 675에서 진짜 평균 489.33에 13단계 내로 수렴하였다.
• 상호작용당 평균 처리 지연 시간은 7.8 ms로 측정되어 실시간 사이버-물리 시스템에 적용 가능함을 입증하였다.
• 시간에 따라 변하는 상호작용 네트워크 구조를 지원하여 이동성 또는 동적 네트워크에 적합하다.
• 고정 길이 정수 표현 방식과 음수 값에 대한 2의 보수 표현을 사용함으로써 임베디드 하드웨어에서 효율적이고 안전한 계산이 가능하다.
• libpaillier와 pthreads를 사용한 구현을 통해 계산 오버헤드가 저자원 장치에서도 관리 가능하다는 점을 확인하였다.