A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems
Networked Control Systems (NCS) are pivotal for sectors like industrial automation, autonomous vehicles, and smart grids. However, merging communication networks with control loops brings complexities and security vulnerabilities, necessitating strong protection and authentication measures. This pap...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Open Journal of Control Systems |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10669168/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841554050603024384 |
|---|---|
| author | Camilla Fioravanti Christoforos N. Hadjicostis Gabriele Oliva |
| author_facet | Camilla Fioravanti Christoforos N. Hadjicostis Gabriele Oliva |
| author_sort | Camilla Fioravanti |
| collection | DOAJ |
| description | Networked Control Systems (NCS) are pivotal for sectors like industrial automation, autonomous vehicles, and smart grids. However, merging communication networks with control loops brings complexities and security vulnerabilities, necessitating strong protection and authentication measures. This paper introduces an innovative Zero-Knowledge Proof (ZKP) scheme tailored for NCSs, enabling a networked controller to prove its knowledge of the dynamical model and its ability to control a discrete-time linear time-invariant (LTI) system to a sensor, without revealing the model. This verification is done through the controller's capacity to produce suitable control signals in response to the sensor's output demands. The completeness, soundness, and zero-knowledge properties of the proposed approach are demonstrated. The scheme is subsequently extended by considering the presence of delays and output noise. Additionally, a dual scenario where the sensor proves its model knowledge to the controller is explored, enhancing the method's versatility. Effectiveness is shown through numerical simulations and a case study on distributed agreement in multi-agent systems. |
| format | Article |
| id | doaj-art-96ff3ea351cc40218f274d28f21be7e9 |
| institution | Kabale University |
| issn | 2694-085X |
| language | English |
| publishDate | 2024-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Open Journal of Control Systems |
| spelling | doaj-art-96ff3ea351cc40218f274d28f21be7e92025-01-09T00:03:12ZengIEEEIEEE Open Journal of Control Systems2694-085X2024-01-01341642810.1109/OJCSYS.2024.345589910669168A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control SystemsCamilla Fioravanti0https://orcid.org/0000-0003-0581-193XChristoforos N. Hadjicostis1https://orcid.org/0000-0002-1706-708XGabriele Oliva2https://orcid.org/0000-0001-7257-4079University Campus Bio-Medico of Rome, Rome, ItalyUniversity of Cyprus, Nicosia, CyprusUniversity Campus Bio-Medico of Rome, Rome, ItalyNetworked Control Systems (NCS) are pivotal for sectors like industrial automation, autonomous vehicles, and smart grids. However, merging communication networks with control loops brings complexities and security vulnerabilities, necessitating strong protection and authentication measures. This paper introduces an innovative Zero-Knowledge Proof (ZKP) scheme tailored for NCSs, enabling a networked controller to prove its knowledge of the dynamical model and its ability to control a discrete-time linear time-invariant (LTI) system to a sensor, without revealing the model. This verification is done through the controller's capacity to produce suitable control signals in response to the sensor's output demands. The completeness, soundness, and zero-knowledge properties of the proposed approach are demonstrated. The scheme is subsequently extended by considering the presence of delays and output noise. Additionally, a dual scenario where the sensor proves its model knowledge to the controller is explored, enhancing the method's versatility. Effectiveness is shown through numerical simulations and a case study on distributed agreement in multi-agent systems.https://ieeexplore.ieee.org/document/10669168/Computer/network securitycontrol applicationsnetworked control systemsresilient control systemszero knowledge proof |
| spellingShingle | Camilla Fioravanti Christoforos N. Hadjicostis Gabriele Oliva A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems IEEE Open Journal of Control Systems Computer/network security control applications networked control systems resilient control systems zero knowledge proof |
| title | A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems |
| title_full | A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems |
| title_fullStr | A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems |
| title_full_unstemmed | A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems |
| title_short | A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems |
| title_sort | control theoretical zero knowledge proof scheme for networked control systems |
| topic | Computer/network security control applications networked control systems resilient control systems zero knowledge proof |
| url | https://ieeexplore.ieee.org/document/10669168/ |
| work_keys_str_mv | AT camillafioravanti acontroltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems AT christoforosnhadjicostis acontroltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems AT gabrieleoliva acontroltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems AT camillafioravanti controltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems AT christoforosnhadjicostis controltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems AT gabrieleoliva controltheoreticalzeroknowledgeproofschemefornetworkedcontrolsystems |