[論文レビュー] Secure and Privacy Preserving Consensus for Second-order Systems Based on Paillier Encryption

Wentuo Fang, Mohsen Zamani+1 more|arXiv (Cornell University)|May 3, 2018

Distributed Control Multi-Agent Systems参考文献 43被引用数 8

ひとこと要約

本稿では、ランダム化されたネットワーク重みと同型暗号を用いて初期状態を隠蔽することで、プライバシーとセキュリティを確保するPaillier暗号ベースの共分散アルゴリズムを、2次元マルチエージェントシステムに提案する。主な貢献は、プライバシー漏洩のリスクがネットワークの収束速度に強く依存することを示したことである。収束が速いほど、スニフィング攻撃者による状態再構築のリスクが高まる。

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.

研究の動機と目的

• 1次元系よりも複雑な2次元マルチエージェントシステムにおける、安全でプライバシーを守る共分散プロトコルの不足に応えること。
• 信頼できる第三者に依存せずに、高次元動的特性を持つシステムにおける分散型設計の安全な共分散を実現すること。
• ネットワーク重みが暴露されても、エージェントの初期状態が漏洩しないように保証すること。収束速度の影響を分析することで実現する。
• Paillier暗号を用いて実用的で計算的に実行可能なプロトコルを開発し、リアルタイムの暗号化状態交換と共分散を可能とすること。

提案手法

• Paillierの同型暗号を用いて、エージェントの位置と速度状態を復号せずに安全に送信・計算する。
• スニフィング攻撃者が繰り返し観測することで初期状態を推定できないように、ネットワーク結合重みにランダム化を導入する。
• 時間変動するトポロジーを持つ2次元系のための離散時間共分散プロトコルを、修正されたラプラシアン行列から導出する。
• 状態情報と重み情報の分離を図るデカップリング機構を採用し、状態再構築のリスクを低減する。
• 3段階の通信プロトコルを実装する：(1) 位置と速度の暗号化、(2) 暗号化されたメッセージの送信、(3) 局所的復号と状態更新。
• シミュレーションで64ビットのPaillier鍵長を用い、セキュリティと計算効率のバランスを図る。

実験結果

リサーチクエスチョン

• RQ1 スニフィング攻撃者が、傍受した暗号化メッセージとネットワーク重みから、エージェントの初期状態を再構築できる条件は何か？
• RQ2 ネットワークの収束速度が、Paillier暗号化共分散プロトコルにおけるプライバシー違反リスクにどのように影響するか？
• RQ3 信頼できる第三者を必要とせず、2次元マルチエージェントシステムに安全で分散型の共分散アルゴリズムを設計可能か？
• RQ4 結合重みをランダム化することで、共分散性能とプライバシーのトレードオフはどのように変化するか？

主な発見

• プライバシー漏洩は、ネットワークの収束速度が十分に速い場合にのみ発生する。収束が遅いネットワークでは、重みが判明していても初期状態は保護される。
• 収束が速いネットワークでは、時間の経過とともにエージェントAはエージェントBの初期位置と速度を、漸近的に真値に近づけて正確に推定できる。
• 収束が遅いネットワークでは、初期状態の推定誤差が大きく保たれ、結合重みの知識があってもプライバシーが維持される。
• シミュレーションステップあたりの平均計算時間は174.9 msであり、これはリアルタイム応用における実用的妥当性を示している。
• 理論的解析とシミュレーションの両方で、戦略的な重みランダム化と暗号化により、漸近的共分散を達成するとともにプライバシーを維持できることを確認した。