Secure motion control of micro-spacecraft using semi-homomorphic encryption
This paper studies the secure motion control problem for micro-spacecraft systems. A novel semi-homomorphic encrypted control framework, consisting of a logarithmic quantizer, two uniform quantizers, and an encrypted control law based on the Paillier cryptosystem is developed. More specifically, a l...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2023-01-01
|
| Series: | Security and Safety |
| Subjects: | |
| Online Access: | https://sands.edpsciences.org/articles/sands/full_html/2023/01/sands20230004/sands20230004.html |
| _version_ | 1827608072026062848 |
|---|---|
| author | Shi Yongxia Nekouei Ehsan Hu Qinglei |
| author_facet | Shi Yongxia Nekouei Ehsan Hu Qinglei |
| author_sort | Shi Yongxia |
| collection | DOAJ |
| description | This paper studies the secure motion control problem for micro-spacecraft systems. A novel semi-homomorphic encrypted control framework, consisting of a logarithmic quantizer, two uniform quantizers, and an encrypted control law based on the Paillier cryptosystem is developed. More specifically, a logarithmic quantizer is adopted as a digitizer to convert the continuous relative motion information to digital signals. Two uniform quantizers with different quantization sensitivities are designed to encode the control gain matrix and digitized motion information to integer values. Then, we develop an encrypted state-feedback control law based on the Paillier cryptosystem, which allows the controller to compute the control input using only encrypted data. Using the Lyapunov stability theory and the homomorphic property of the Paillier cryptosystem, we prove that all signals in the closed-loop system are uniformly ultimately bounded. Different from the traditional motion control laws of spacecraft, the proposed encrypted control framework ensures the security of the exchanged data over the communication network of the spacecraft, even when communication channels are eavesdropped by malicious adversaries. Finally, we verify the effectiveness of the proposed encrypted control framework using numerical simulations. |
| first_indexed | 2024-03-09T07:05:25Z |
| format | Article |
| id | doaj.art-b4eef10e43b949c0989c3b3c2a8a7046 |
| institution | Directory Open Access Journal |
| issn | 2826-1275 |
| language | English |
| last_indexed | 2024-03-09T07:05:25Z |
| publishDate | 2023-01-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | Security and Safety |
| spelling | doaj.art-b4eef10e43b949c0989c3b3c2a8a70462023-12-03T09:42:36ZengEDP SciencesSecurity and Safety2826-12752023-01-012202301810.1051/sands/2023018sands20230004Secure motion control of micro-spacecraft using semi-homomorphic encryptionShi Yongxia0Nekouei Ehsan1Hu Qinglei2Department of Electrical Engineering, City University of Hong KongDepartment of Electrical Engineering, City University of Hong KongSchool of Automation Science and Electrical Engineering, Beihang UniversityThis paper studies the secure motion control problem for micro-spacecraft systems. A novel semi-homomorphic encrypted control framework, consisting of a logarithmic quantizer, two uniform quantizers, and an encrypted control law based on the Paillier cryptosystem is developed. More specifically, a logarithmic quantizer is adopted as a digitizer to convert the continuous relative motion information to digital signals. Two uniform quantizers with different quantization sensitivities are designed to encode the control gain matrix and digitized motion information to integer values. Then, we develop an encrypted state-feedback control law based on the Paillier cryptosystem, which allows the controller to compute the control input using only encrypted data. Using the Lyapunov stability theory and the homomorphic property of the Paillier cryptosystem, we prove that all signals in the closed-loop system are uniformly ultimately bounded. Different from the traditional motion control laws of spacecraft, the proposed encrypted control framework ensures the security of the exchanged data over the communication network of the spacecraft, even when communication channels are eavesdropped by malicious adversaries. Finally, we verify the effectiveness of the proposed encrypted control framework using numerical simulations.https://sands.edpsciences.org/articles/sands/full_html/2023/01/sands20230004/sands20230004.htmlspacecraft relative motionsecurity protectionencrypted controlhomomorphic encryptionquantization |
| spellingShingle | Shi Yongxia Nekouei Ehsan Hu Qinglei Secure motion control of micro-spacecraft using semi-homomorphic encryption Security and Safety spacecraft relative motion security protection encrypted control homomorphic encryption quantization |
| title | Secure motion control of micro-spacecraft using semi-homomorphic encryption |
| title_full | Secure motion control of micro-spacecraft using semi-homomorphic encryption |
| title_fullStr | Secure motion control of micro-spacecraft using semi-homomorphic encryption |
| title_full_unstemmed | Secure motion control of micro-spacecraft using semi-homomorphic encryption |
| title_short | Secure motion control of micro-spacecraft using semi-homomorphic encryption |
| title_sort | secure motion control of micro spacecraft using semi homomorphic encryption |
| topic | spacecraft relative motion security protection encrypted control homomorphic encryption quantization |
| url | https://sands.edpsciences.org/articles/sands/full_html/2023/01/sands20230004/sands20230004.html |
| work_keys_str_mv | AT shiyongxia securemotioncontrolofmicrospacecraftusingsemihomomorphicencryption AT nekoueiehsan securemotioncontrolofmicrospacecraftusingsemihomomorphicencryption AT huqinglei securemotioncontrolofmicrospacecraftusingsemihomomorphicencryption |