论文标题
使用同态加密来证明安全的加密控制
Towards Provably Secure Encrypted Control Using Homomorphic Encryption
论文作者
论文摘要
加密控制是将控制器计算安全外包到公共云中的一种有前途的方法。但是，在加密控制系统的领域尚未开发出一种可行的控制控制证明的方法。此外，密码学不考虑对加密控制系统的某些类型的攻击。因此，无法使用安全的密码系统来保证这种系统的安全性。这项研究提出了使用密码学对控制系统的攻击下加密控制的新型安全定义。它应用了可证明的安全性的概念，即基于数学证明的密码系统的安全性，用于加密控制系统。此外，这项研究分析了拟议的安全性与密码系统的常规安全性之间的关系。分析的结果表明，可以通过使用安全的同构加密来增强加密控制系统的安全性。
Encrypted control is a promising method for the secure outsourcing of controller computation to a public cloud. However, a feasible method for security proofs of control has not yet been developed in the field of encrypted control systems. Additionally, cryptography does not consider certain types of attacks on encrypted control systems; therefore, the security of such a system cannot be guaranteed using a secure cryptosystem. This study proposes a novel security definition for encrypted control under attack for control systems using cryptography. It applies the concept of provable security, which is the security of cryptosystems based on mathematical proofs, to encrypted control systems. Furthermore, this study analyzes the relation between the proposed security and the conventional security of cryptosystems. The results of the analysis demonstrated that the security of an encrypted control system can be enhanced by employing secure homomorphic encryption.
