[论文解读] Encrypted control for networked systems -- An illustrative introduction and current challenges

Moritz Schulze Darup, Andreea B. Alexandru+2 more|arXiv (Cornell University)|Oct 1, 2020

Smart Grid Security and Resilience参考文献 83被引用 5

一句话总结

本文提出对网络化系统实施加密控制，作为保护云环境及分布式控制架构中隐私的解决方案，通过同态加密与安全多方计算实现敏感数据的安全计算与通信。核心贡献在于提出了一套系统化框架，用于推导控制算法的加密形式，强调了计算开销、量化及系统设计方面的挑战，并呼吁开展稳健、可扩展且面向实际应用的实现工作。

ABSTRACT

Cloud computing and distributed computing are becoming ubiquitous in many modern control systems such as smart grids, building automation, robot swarms or intelligent transportation systems. Compared to "isolated" control systems, the advantages of cloud-based and distributed control systems are, in particular, resource pooling and outsourcing, rapid scalability, and high performance. However, these capabilities do not come without risks. In fact, the involved communication and processing of sensitive data via public networks and on third-party platforms promote, among other cyberthreats, eavesdropping and manipulation of data. Encrypted control addresses this security gap and provides confidentiality of the processed data in the entire control loop. This paper presents a tutorial-style introduction to this young but emerging field in the framework of secure control for networked dynamical systems.

研究动机与目标

• 应对云环境及分布式控制架构中日益增长的安全风险，防止敏感数据在公共网络中被窃听与篡改。
• 提供一份关于加密控制的全面教程，作为网络化动态系统中传统控制方案的隐私保护替代方案。
• 识别并分析将标准控制算法转化为其加密对应形式的关键挑战，包括计算开销、通信负载及量化影响。
• 推动面向智能电网、交通系统及工业自动化等关键基础设施的可信、稳健且实用的加密控制系统的发展。
• 通过提出开放问题与具体研究方向，激发未来在加密控制领域的研究进展。

提出的方法

• 应用同态加密（如Paillier密码系统）对控制数据在所有阶段（传输、存储与计算）进行加密，确保控制回路全程保密。
• 利用安全多方计算（MPC）技术，实现在云服务器等不可信第三方平台上的加密处理，而无需暴露中间数据。
• 通过以隐私保护方式重新表达数学运算，将标准控制算法（如模型预测控制）转化为等效的加密形式。
• 将密码学原语与控制理论原则相结合，在保障隐私的同时维持控制性能，包括处理加密带来的噪声与误差传播问题。
• 分析定点量化与非均匀量化方案对加密控制系统的稳定性与精度的影响。
• 提出混合架构，结合加密控制与侧重完整性与可用性的机制，以抵御如虚假数据注入与拒绝服务等主动攻击。

实验结果

研究问题

• RQ1 如何在保持控制性能与稳定性的前提下，重新表述标准控制算法，使其能在加密数据上运行？
• RQ2 在实际约束（如延迟与丢包）下，加密控制系统中隐私、计算成本与通信负载之间的权衡关系是什么？
• RQ3 量化误差与密码学噪声如何影响加密控制系统的稳定性与鲁棒性，又该如何缓解？
• RQ4 在工业应用中实现加密控制的实际部署时，哪些密码学技术（如全同态加密或安全MPC）最为有效？
• RQ5 如何将加密控制与现有安全与防护机制集成，以在关键基础设施系统中同时保障机密性与完整性？

主要发现

• 加密控制可实现网络化控制系统中敏感数据（包括系统状态、控制动作与模型参数）的端到端保密，即使在不可信平台上处理亦然。
• 使用同态加密（如Paillier）会使密文大小显著增加——例如，2048位密钥对应的密文可达4096位，导致更高的通信与存储开销。
• 当前的加密控制器主要依赖部分同态加密（如Paillier、ElGamal）或简单MPC协议，仅有少数采用先进的全同态加密方案。
• 现有实现常假设理想化条件，忽略了通信延迟、丢包以及传感器与执行器端计算资源受限等实际问题。
• 在量化与噪声影响下，加密控制系统的鲁棒稳定性证明仍是开放挑战，尤其针对非线性系统与模型预测控制器。
• 在智能电网、楼宇自动化与机器人集群等应用中，加密控制的实际部署是可行的，尤其当数据敏感性足以覆盖性能开销时。