[论文解读] 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加密的共识算法，用于二阶多智能体系统，通过随机化网络权重和同态加密隐藏初始状态，从而确保隐私与安全。关键贡献在于证明了隐私泄露风险与网络收敛速率密切相关，收敛越快，攻击者通过侧信道分析重构初始状态的风险越高。

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.

研究动机与目标

• 为解决二阶多智能体系统缺乏安全且隐私保护的共识协议的问题，这类系统比一阶系统更为复杂。
• 克服在高阶动力学下实现安全共识时的去中心化设计挑战，且不依赖可信第三方。
• 通过分析收敛速率对隐私泄露的影响，确保即使网络权重暴露，智能体的初始状态仍保持私密。
• 设计一种实用且计算可行的协议，采用Paillier加密，支持实时加密状态交换与共识。

提出的方法

• 使用Paillier同态加密，实现对智能体位置和速度状态的安全传输与计算，无需解密。
• 在网络耦合权重中引入随机化，防止攻击者通过重复观测推断初始状态。
• 采用基于改进拉普拉斯矩阵的离散时间共识协议，适用于具有时变拓扑的二阶系统。
• 应用解耦机制，将状态信息与权重信息分离，降低状态重构风险。
• 实施三步通信协议：(1) 对位置和速度进行加密，(2) 传输加密消息，(3) 本地解密并更新状态。
• 在仿真中使用64位Paillier密钥长度，以在安全性和计算效率之间取得平衡。

实验结果

研究问题

• RQ1 在何种条件下，攻击者可从截获的加密消息和网络权重中重构某个智能体的初始状态？
• RQ2 网络的收敛速率如何影响Paillier加密共识协议中的隐私泄露风险？
• RQ3 能否设计一种无需可信第三方的、安全且去中心化的共识算法，适用于二阶多智能体系统？
• RQ4 在随机化耦合权重时，共识性能与隐私之间的权衡关系如何？

主要发现

• 仅当网络收敛速率足够快时，才会发生隐私泄露；在收敛缓慢的网络中，即使权重已知，初始状态仍能保持保护。
• 在快速收敛网络中，智能体A可随时间准确估计智能体B的初始位置和速度，渐近逼近真实值。
• 在收敛缓慢的网络中，初始状态的估计误差保持较大，即使已知耦合权重，隐私仍能有效保护。
• 每次仿真步长的平均计算时间为174.9毫秒，表明该协议在实时应用中具备实际可行性。
• 理论分析与仿真结果共同证实，该协议在实现渐近共识的同时，通过策略性权重随机化和加密手段有效维持了隐私。