Implementing homomorphic encryption based secure feedback control

被引：16
作者：
Tran, Julian [1 ]
Farokhi, Farhad [2 ,3 ]
Cantoni, Michael [2 ]
Shames, Iman [2 ]
机构：
[1] BAE Syst, Williamtown, Vic 3016, Australia
[2] Univ Melbourne, Parkville, Vic 3010, Australia
[3] CSIROs Data61, Docklands, Vic 3008, Australia
来源：
CONTROL ENGINEERING PRACTICE | 2020年 / 97卷
关键词：
Secure control; Homomorphic encryption; Digital design; FPGA; MULTIPLICATION; PRIVATE; MANAGEMENT;
D O I：
10.1016/j.conengprac.2020.104350
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper is about an encryption based approach to the secure implementation of feedback controllers for physical systems. Specifically, Paillier's homomorphic encryption is used to digitally implement a class of linear dynamic controllers, which includes the commonplace static gain and PID type feedback control laws as special cases. The developed implementation is amenable to Field Programmable Gate Array (FPGA) realization. Experimental results, including timing analysis and resource usage characteristics for different encryption key lengths, are presented for the realization of an inverted pendulum controller; as this is an unstable plant, the control is necessarily fast.
引用
收藏
页数：12
相关论文
共 65 条
[31]  
Kogiso K, 2018, P AMER CONTR CONF, P1250, DOI 10.23919/ACC.2018.8431234
[32]  
Kogiso K, 2015, IEEE DECIS CONTR P, P6836, DOI 10.1109/CDC.2015.7403296
[33]  
Kolesnikov V, 2008, LECT NOTES COMPUT SC, V5126, P486, DOI 10.1007/978-3-540-70583-3_40
[34]  
Kreuter B., 2012, USENIX SECURITY S, P285
[35]  
Le Masle A, 2010, LECT NOTES COMPUT SC, V5992, P68, DOI 10.1007/978-3-642-12133-3_9
[36]  
Li FJ, 2010, INT CONF SMART GRID, P327, DOI 10.1109/SMARTGRID.2010.5622064
[37]  
Lindell Y, 2007, LECT NOTES COMPUT SC, V4515, P52
[38]   A Proof of Security of Yao's Protocol for Two-Party Computation [J].
Lindell, Yehuda ;
Pinkas, Benny .
JOURNAL OF CRYPTOLOGY, 2009, 22 (02) :161-188
[39]  
López-Alt A, 2012, STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, P1219
[40]   FPGA-Based True Random Number Generation Using Circuit Metastability with Adaptive Feedback Control [J].
Majzoobi, Mehrdad ;
Koushanfar, Farinaz ;
Devadas, Srinivas .
CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2011, 2011, 6917 :17-+
1234567