Stability-guaranteed dynamic ElGamal cryptosystem for encrypted control systems

被引:10
作者
Teranishi, Kaoru [1 ]
Shimada, Naoki [2 ]
Kogiso, Kiminao [1 ]
机构
[1] Univ Electrocommun, Dept Mech & Intelligent Syst Engn, 1-5-1 Chofugaoka, Chofu, Tokyo 1828585, Japan
[2] Natl Inst Technol, Dept Elect & Informat Engn, Ishikawa Coll, Tsubata, Ishikawa 9290392, Japan
关键词
public key cryptography; cryptography; computational complexity; telecommunication security; cryptographic protocols; asymptotic stability; stability; stability-guaranteed dynamic ElGamal cryptosystem; encrypted control system; networked control systems; multiplicative homomorphic cryptosystem; encrypted controller; SECURE;
D O I
10.1049/iet-cta.2019.0729
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Despite the importance of cyber-security for networked control systems, no suitable cryptosystem exists for networked control systems that guarantees stability and has low computational complexity. This study proposes a novel dynamic ElGamal cryptosystem for encrypted control systems. The proposed cryptosystem is a multiplicative homomorphic cryptosystem, and it updates key pairs and ciphertexts by simple updating rules with modulo operations at every sampling period. Furthermore, the authors modify the proposed cryptosystem by using a dynamic encoder and decoder so that the asymptotic stability of the encrypted control systems is guaranteed. Numerical simulations demonstrate that the encrypted controller with the proposed cryptosystem achieves asymptotic stability while randomly updating key pairs and ciphertexts. The feasibility of the proposed encrypted control system is evaluated through regulation control with a positioning table testbed. The processing time of the proposed encrypted control system is on the order of milliseconds, indicating that the system achieves real-time control.
引用
收藏
页码:2242 / 2252
页数:11
相关论文
共 32 条
[1]  
[Anonymous], 2018, IEEE CONTR SYST LETT
[2]  
Baba R., 2018, SICE ANN C, P244
[3]  
Blaze M, 1998, LECT NOTES COMPUT SC, V1403, P127, DOI 10.1007/BFb0054122
[4]   Quantized feedback stabilization of linear systems [J].
Brockett, RW ;
Liberzon, D .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (07) :1279-1289
[5]  
Cheon JH, 2018, IEEE DECIS CONTR P, P5020, DOI 10.1109/CDC.2018.8619600
[6]   Encrypted cloud-based MPC for linear systems with input constraints [J].
Darup, Moritz Schulze ;
Redder, Adrian ;
Quevedo, Daniel E. .
IFAC PAPERSONLINE, 2018, 51 (20) :535-542
[7]  
Dodis Y, 2002, LECT NOTES COMPUT SC, V2332, P65
[8]   OPTIMAL LINEAR REGULATORS - DISCRETE-TIME CASE [J].
DORATO, P ;
LEVIS, AH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1971, AC16 (06) :613-+
[9]   A PUBLIC KEY CRYPTOSYSTEM AND A SIGNATURE SCHEME BASED ON DISCRETE LOGARITHMS [J].
ELGAMAL, T .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1985, 31 (04) :469-472
[10]   Secure and private control using semi-homomorphic encryption [J].
Farokhi, Farhad ;
Shames, Iman ;
Batterham, Nathan .
CONTROL ENGINEERING PRACTICE, 2017, 67 :13-20