[논문 리뷰] Secure and Privacy Preserving Consensus for Second-order Systems Based on Paillier Encryption

Wentuo Fang, Mohsen Zamani외 1명|arXiv (Cornell University)|2018. 05. 03.

Distributed Control Multi-Agent Systems참고 문헌 43인용 수 8

한 줄 요약

이 논문은 랜덤화된 네트워크 가중치와 동형 암호화를 통해 초기 상태를 은폐함으로써 기밀성과 보안성을 확보하는 Paillier 암호 기반 공감 알고리즘을 제안한다. 주요 기여는 기밀성 누출이 네트워크의 수렴 속도에 의해 결정되며, 수렴 속도가 빠를수록 스니핑 공격자에 의해 상태 재구성 위험이 증가한다는 것을 증명하는 것이다.

ABSTRACT

This paper aims at secure and privacy preserving consensus algorithms of networked systems. Due to the technical challenges behind decentralized design of such algorithms, the existing results are mainly restricted to a network of systems with simplest first-order dynamics. Like many other control problems, breakthrough of the gap between first-order dynamics and higher-order ones demands for more advanced technical developments. In this paper, we explore a Paillier encryption based average consensus algorithm for a network of systems with second-order dynamics, with randomness added to network weights. The conditions for privacy preserving, especially depending on consensus rate, are thoroughly studied with theoretical analysis and numerical verification.

연구 동기 및 목표

• 두 번째 차수 다중 에이전트 시스템을 위한 안전하고 기밀성을 보장하는 공감 프로토콜의 부재 문제를 해결하기 위해.
• 신뢰할 수 있는 제3자에 의존하지 않고도 고차수 동역학을 위한 탈중앙화된 설계 도전 과제를 극복하기 위해.
• 네트워크 가중치가 폭 lộ되어도 에이전트의 초기 상태가 기밀을 유지할 수 있도록 하기 위해, 수렴 속도가 기밀성 누출에 미치는 영향을 분석하기 위해.
• 실시간 암호화된 상태 교환과 공감을 지원하는 실용적이고 계산적으로 실행 가능한 프로토콜을 개발하기 위해.

제안 방법

• 에이전트의 위치 및 속도 상태를 복호화 없이 안전하게 전송하고 계산하기 위해 Paillier 동형 암호화를 사용한다.
• 반복적인 관측을 통해 초기 상태를 유추할 수 없도록 네트워크 커플링 가중치에 무작위성을 도입한다.
• 시간에 따라 변화하는 위상 구조를 갖는 제2차 시스템을 위한 이산 시간 공감 프로토콜을 제안하며, 수정된 라플라스 행렬에서 유도한다.
• 상태 정보와 가중치 정보를 분리하는 탈중앙화 메커니즘을 적용하여 상태 재구성 위험을 감소시킨다.
• 3단계 통신 프로토콜을 구현한다: (1) 위치 및 속도 암호화, (2) 암호화된 메시지 전송, (3) 현지 복호화 및 상태 갱신.
• 보안성과 계산 효율성의 균형을 위해 시뮬레이션에서 64비트 Paillier 키 크기를 사용한다.

실험 결과

연구 질문

• RQ1 스니퍼가 가로채기된 암호화된 메시지와 네트워크 가중치로부터 에이전트의 초기 상태를 재구성할 수 있는 조건은 무엇인가?
• RQ2 네트워크의 수렴 속도는 Paillier 암호화된 공감 프로토콜에서 기밀성 침해 위험에 어떤 영향을 미치는가?
• RQ3 신뢰할 수 있는 제3자가 없는 조건에서 두 번째 차수 다중 에이전트 시스템을 위한 안전하고 탈중앙화된 공감 알고리즘을 설계할 수 있는가?
• RQ4 커플링 가중치를 랜덤화할 경우 공감 성능와 기밀성 간의 상충 관계는 어떠한가?

주요 결과

• 기밀성 누출은 네트워크 수렴 속도가 충분히 빠를 경우에만 발생한다. 느린 수렴 네트워크에서는 가중치가 공개되어도 초기 상태는 여전히 보호된다.
• 빠른 수렴 네트워크에서는 에이전트 A가 시간이 지남에 따라 에이전트 B의 초기 위치와 속도를 정확하게 추정하며 渐진적으로 진짜 값에 수렴한다.
• 느린 수렴 네트워크에서는 초기 상태 추정 오차가 여전히 크며, 커플링 가중치를 알고 있더라도 기밀성이 유지된다.
• 표준 랩탑에서 시뮬레이션 단계당 평균 계산 시간은 174.9 ms이며, 이는 실시간 응용에 대한 실용적 타당성을 시사한다.
• 이론적 분석과 시뮬레이션을 통해 프로토콜이 점차적 수렴을 달성하면서도 전략적 가중치 랜덤화와 암호화를 통해 기밀성을 유지함을 확인했다.