Secure Control of Linear Controllers Using Fully Homomorphic Encryption
Source abstract
Abstract
In actual operation, there are security risks to the data of the network control system, mainly in the form of possible eavesdropping of signals in the transmission channel and parameters in the controller leading to data leakage. In this paper, we propose a scheme for encrypting linear controllers using fully homomorphic encryption, which effectively removes these security risks and substantially improves the security of networked control systems. Meanwhile, this paper uses precomputation to handle data encryption, which eliminates the encryption time and solves the drawback of fully homomorphic encryption that it is difficult to apply due to the efficiency problem. Compared to previous schemes with precomputation, for the first time, we propose two methods to mitigate the problem of the slight security degradation caused by precomputation, which makes our scheme more secure. Finally, we provide numerical simulation results to support our scheme, and the data show that the encrypted controller achieves normal control and improves safety and efficiency.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Cryptography and Data Security · Cryptographic Implementations and Security · Cryptography and Residue Arithmetic
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
College of Information Science and Engineering, Ocean University of China, Qingdao 266100, China
Shandong Provincial Key Laboratory of Computer Networks, Shandong Computer Science Center (National Supercomputing Center in Jinan), Jinan 250014, China
Jinan Institute of Supercomputing Technology, Jinan 250301, China
Faculty of Computer Science and Technology, Qilu University of Technology (Shandong Academy of Science), Jinan 250102, China
Quancheng Laboratory, Jinan 250100, China
Funding
National Key Research and Development Program of China · Key R&D Plan of Shandong Province · Major Innovation Project of Science, Education and Industry of Shandong Academy of Sciences · Innovation Capacity Improvement Project for Small and Medium-sized Technology-based Enterprises of Shandong Province
References (35)
Show source-provided references
1. Cyber-Physical Power System (CPPS): A Review on Modeling, Simulation, and Analysis with Cyber Security Applications10.1109/ACCESS.2020.3016826 ↗
2. Yampolskiy, M., Andel, T.R., Mcdonald, J.T., Glisson, W.B., and Yasinsac, A. (2014, January 9). Intellecutal protection in additive layer manufacturing: Requirements for secure outsouring. Proceedings of the 4th Program Protection and Reverse Engineering Workshop, New Orleans, LA, USA.10.1145/2689702.2689709 ↗
3. Wall, D.S., and Yar, M. (2010). Handbook of Internet Crime, Willan.
4. Mclaughlin, S. (2011, January 9). On dynamic malware payloads aimed at programmable logic controllers. Proceedings of the 6th USENIX Conference on Hot Topics in Security, San Francisco, CA, USA.
5. Kogiso, K., and Fujita, T. (2015, January 15–18). Cyber-Security Enhancement of Networked Control Systems Using Homomorphic Encryption. Proceedings of the IEEE Conference on Decision and Control, Osaka, Japan.10.1109/CDC.2015.7403296 ↗
6. A method for obtaining digital signatures and public-key cryptosystem10.1145/359340.359342 ↗
7. A public key cryptosystem and a signature scheme based on discrete logarithms10.1109/TIT.1985.1057074 ↗
8. Secure and private control using semi-homomorphic encryption10.1016/j.conengprac.2017.07.004 ↗
9. Lin, Y., Farokhi, F., Shames, I., and Nesic, D. (2018, January 17–19). Secure control of nonlinear systems using semi-homomorphic encryption. Proceedings of the IEEE Conference on Decision and Control, Miami, FL, USA.10.1109/CDC.2018.8619569 ↗
10. Secure and private implementation of dynamic controllers using semi-homomorphic encryption10.1109/TAC.2020.2992445 ↗
11. Secure teleoperation control using somewhat homomorphic encryption10.1016/j.ifacol.2022.11.247 ↗
12. Stern, J. (1999). Advances in Cryptology—Eurocrypt’99, Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, 2–6 May 1999, Springer.10.1007/3-540-48910-X ↗
13. Encrypting controller using fully homomorphic encryption for security of cyber-physical systems10.1016/j.ifacol.2016.10.392 ↗
14. Brakerski, Z. (2023, June 13). Fully Homomorphic Encryption without Modulus Switching from Classical GapSVP. Available online: https://eprint.iacr.org/2012/078.10.1007/978-3-642-32009-5_50 ↗
15. Fan, J., and Vercauteren, F. (2023, June 09). Somewhat Practical Fully Homomorphic Encryption. Cryptology Eprint Archive. Available online: https://eprint.iacr.org/2012/144.
16. Secure Control Using Homomorphic Encryption and Efficiency Analysis10.1155/2023/6473497 ↗
17. Measuring Two-Factor Authentication Schemes for Real-Time Data Access in Industrial Wireless Sensor Networks10.1109/TII.2018.2834351 ↗
18. Understanding Failures in Security Proofs of Multi-Factor Authentication for Mobile Devices10.1109/TIFS.2022.3227753 ↗
19. Fehr, S. (2017). Public-Key Cryptography—PKC 2017, Proceedings of the 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, 28–31 March 2017, Springer.10.1007/978-3-662-54388-7 ↗
20. Rivest, R., Adleman, L., and Deryouzos, M. (1978). Foundations of Secure Computation, Academic Press, Inc.
21. Gentry, C. (2009, January 31). Fully homomorphic encryption using ideal lattices. Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing, Bethesda, MD, USA.10.1145/1536414.1536440 ↗
22. Garg, S., Gentry, C., Halevi, S., Raykova, M., Sahai, A., and Waters, B. (2013, January 26–29). Candidate indistinguishability obfuscation and functional encryption for all circuits. Proceedings of the 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, Berkeley, CA, USA.10.1109/FOCS.2013.13 ↗
23. Brakerski, Z., and Vaikuntanathan, V. (2011, January 22–25). Efficient fully homomorphic encryption from (standard) LWE. Proceedings of the 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, Palm Springs, CA, USA.10.1109/FOCS.2011.12 ↗
24. Brakerski, Z., Gentry, C., and Vaikuntanathan, V. (2012, January 8–10). (Leveled) fully homomorphic encryption without bootstrapping. Proceedings of the 3rd Innovations in Theoretical Computer Science Conference, Cambridge, MA, USA.10.1145/2090236.2090262 ↗
25. Gentry, C., Sahai, A., and Waters, B. (2013, June 09). Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based. Available online: https://eprint.iacr.org/2013/340.10.1007/978-3-642-40041-4_5 ↗
26. Stability-guaranteed dynamic ElGamal cryptosystem for encrypted control systems10.1049/iet-cta.2019.0729 ↗
27. Kogiso, K. (2018, January 27–29). Upper-Bound Analysis of Performance Degradation in Encrypted Control System. Proceedings of the 2018 Annual American Control Conference, Milwaukee, WI, USA.10.23919/ACC.2018.8431234 ↗
28. Implementing homomorphic encryption based secure feedback control10.1016/j.conengprac.2020.104350 ↗
29. Shoukry, Y., Gatsis, K., Alanwar, A., Pappas, G.J., Seshia, S.A., Srivastava, M., and Tabuada, P. (2016, January 12–14). Privacy-aware quadratic optimization using partially homomorphic encryption. Proceedings of the 2016 IEEE 55th Conference on Decision and Control (CDC), Las Vegas, NV, USA.10.1109/CDC.2016.7799042 ↗
30. Encrypted cloud-based MPC for linear systems with input constraints10.1016/j.ifacol.2018.11.035 ↗
31. Alexandru, A.B., Morari, M., and Pappas, G.J. (2018, January 17–19). Cloud-Based MPC with Encrypted Data. Proceedings of the 2018 IEEE Conference on Decision and Control (CDC), Miami, FL, USA.10.1109/CDC.2018.8619835 ↗
32. Encrypted MPC based on ADMM real-time iterations10.1016/j.ifacol.2020.12.1708 ↗
33. Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges10.1109/MCS.2021.3062956 ↗
34. Song, C., and Huang, R. (2023). Secure Convolution Neural Network Inference Based on Homomorphic Encryption. Appl. Sci., 13.10.3390/app13106117 ↗
35. On Ideal Lattices and Learning with Errors over Rings