返回
Encrypted Control for Timed Discrete Event Systems Using Homomorphic Encryption
DOI:10.1109/tac.2026.3687476.png)
摘要
En 中文
网络化信息物理系统(CPS)的快速增长,特别是在工业环境中,需要安全和可靠的通信。提高CPS安全性的一个可能性是加密。本文提出了一种针对离散事件系统(DESs)的控制器加密方案,该方案不仅允许加密通信,还允许加密控制器本身。所考虑的控制器由一种DES模型表示,即信号解释的Petri网(SIPNs)。提出了一种新的SIPN控制器表示方法,该方法允许使用同态加密方案来加密控制器参数、状态以及输入和输出信息。为了将应用范围扩展到更多类型的DES,如定时SIPN,本文展示了如何实现加密计数器和加密定时器。加密控制器方案仅需要在设备侧进行加密和解密。因此,控制器与设备之间传输的数据以及控制器内部的信息更能抵御窃听攻击。
Keyword:
Controller encryption
cyber-physical systems (CPSs)
discrete event systems (DESs)
networked systems
security
期刊
IF:
7
论文数:
1.3W
被引数:
6.7W

