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

Minghao Ruan, Huan Gao외 1명|arXiv (Cornell University)|2017. 07. 12.

Distributed systems and fault tolerance참고 문헌 34인용 수 3

한 줄 요약

이 논문은 부분 히로모르픽 암호 기법을 사용하여 중앙집중화되지 않고 사생활 보호 기능을 갖춘 비방향 네트워크를 위한 공감대 프로토콜을 제안한다. 이는 집계자 없이도 안전한 평균 공감대를 가능하게 하며, 상태 교환을 암호화하고 정량화 오차 내에서 정확한 평균으로 수렴함으로써, 수동적인 도청자조차도 노드의 사생활을 보호한다. 동적 네트워크 구조를 지원하며, 시뮬레이션과 라즈베리 파이 하드웨어 실험을 통해 검증된다.

ABSTRACT

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 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 an aggregator or third-party. By leveraging partial homomorphic cryptography to embed secrecy in pairwise interaction dynamics, our approach can guarantee consensus to the exact value in a deterministic manner without disclosing a node's state to its neighbors. In addition to enabling resilience to passive attackers aiming to steal state information, the approach also allows easy incorporation of defending mechanisms against active attackers which try to alter the content of exchanged messages. Furthermore, in contrast to existing noise-injection based privacy-preserving mechanisms which have to reconfigure the entire network when the topology or number of nodes varies, our approach is applicable to dynamic environments with time-varying coupling topologies. This secure and privacy-preservation approach is also applicable to weighted average consensus as well as maximum/minimum consensus under a new update rule. The approach is light-weight in computation and communication. Implementation details and numerical examples are provided to demonstrate the capability of our approach.

연구 동기 및 목표

• 노드 상태를 명시적으로 교환해야 하는 기존 공감대 알고리즘에서 내재된 사생활 泄露 문제를 해결한다.
• 노이즈 주입 방법의 한계를 극복하며, 도청에 취약하거나 정적 네트워크 구조를 전제로 하는 기존 방법을 개선한다.
• 신뢰할 수 있는 제3자 없이 탈중앙화된 네트워크에서 평균 공감대 값으로의 결정적 수렴을 가능하게 한다.
• 수신자에 의한 메시지 변조를 尝시는 활동적 공격자와 수동적 도청자 모두에 대비한 내성적 저항력을 제공한다.
• 새로운 업데이트 규칙 하에 가중 평균 및 최대/최소 공감대에 대한 접근을 확장한다.

제안 방법

• 특히 Paillier 암호 체계를 활용한 부분 히로모르픽 암호화를 적용하여 쌍방향 상호작용 중 상태 값을 암호화한다.
• 노드가 원시 상태를 드러내지 않고도 업데이트를 계산할 수 있도록, 암호화된 상태 차이를 교환하는 새로운 쌍방향 상호작용 프로토콜을 설계한다.
• 다중 노드 네트워크에서 동시 요청 및 응답을 처리하기 위해 카운터 기반의 동기화 메커니즘을 도입하며, 병렬 스레드를 활용한다.
• 메시지 전송 중에 공격자가 메시지를 변조하는 것을 방지하기 위해 디지털 서명을 사용한다.
• 암호화된 데이터에 대한 결정적 히로모르픽 연산을 통해 정확한 평균(정량화 오차 범위 내)으로 수렴을 보장한다.
• 최소한 한 명의 정직한 이웃 노드가 프로토콜을 충실히 이행하는 조건 하에, 동적 시스템을 위한 새로운 사생활 정의를 제안한다.

실험 결과

연구 질문

• RQ1 탈중앙화된 공감대 프로토콜이 신뢰할 수 있는 제3자 없이도 정확한 평균으로 수렴하면서 노드의 사생활을 보호할 수 있는가?
• RQ2 적대적 관찰 조건 하에서 동적 공감대 시스템의 맥락에서 사생활을 공식적으로 정의하고 증명할 수 있는가?
• RQ3 제안된 방법은 통신 채널을 모니터링하는 수동적 도청자에게도 저항할 수 있는가?
• RQ4 시간에 따라 변화하는 네트워크 구조를 가진 동적 네트워크에서, 노이즈 기반의 왜곡 방법과 비교해 본 성능은 어떠한가?
• RQ5 보안 업데이트 규칙 하에 새로운 업데이트 규칙을 적용하여 가중 평균 및 최대/최소 공감대를 지원할 수 있는가?

주요 결과

• 제안된 프로토콜은 노이즈 주입을 요구하지 않으며, 정량화 오차 내에서 결정적 수렴을 달성한다.
• 수치적 시뮬레이션을 통해, 관련된 노이즈 기반 접근 방식이 단순한 관찰자에게 취약한 것과는 달리, 이 방법은 수동적 도청자에 대비해 강건함을 입증한다.
• 6노드 라즈베리 파이 네트워크에서의 하드웨어 실험을 통해 평균 값 580.67에 약 13단계 내에서 수렴하며, 평균 처리 지연 시간은 7.8ms로 확인되었다.
• 이 방법은 동적 네트워크 구조를 지원하며, 노드 수나 결합 구조의 변화가 있을 경우에도 네트워크 재구성 없이도 기능한다.
• 라즈베리 파이에서의 암호화 처리 오버헤드(1회 상호작용당 7.8ms)는 실시간 제어 시스템에 있어 수용 가능한 수준으로 평가된다.
• 새로운 업데이트 규칙을 사용함으로써, 보안과 사생활 보호를 유지하면서도 가중 평균 공감대 및 최대/최소 공감대 지원이 가능하다.