arrow
返回

Encrypted Control for Timed Discrete Event Systems Using Homomorphic Encryption

delete2026-04-24
delete0
delete
OA
AI
R
Raphael Fritz
N
Nico Krebs
张平 封面图
张平 (Ping Zhang)
DOI:10.1109/tac.2026.3687476delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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

期刊

IEEE Transactions on Automatic Control 封面图
IEEE Transactions on Automatic Control
IF:
7
论文数:
1.3W
被引数:
6.7W

机构

U
university of kaiserslautern-landau
学者数:
49
论文数: 20
被引数: 0
U
university of duisburg-essen
学者数:
1.6K
论文数: 599
被引数: 1
引用论文

引用论文

err分享
err收藏
err分享
err收藏
Factorization of a 768-Bit RSA Modulus
err2010-01-01
err0
errOAAI
errThorsten Kleinjung; Kazumaro Aoki; Jens Franke; Arjen K. Lenstra; Emmanuel Thomé; Joppe W. Bos; Pierrick Gaudry; Alexander Kruppa; Peter L. Montgomery; Dag Arne Osvik; Herman te Riele; Andrey Timofeev; Paul Zimmermann
err分享
err收藏
A secure control framework for resource-limited adversaries一种针对资源受限对手的安全控制框架
err2015-01-01
err858
errOAAI
errTeixeira, Andre; Shames, Iman; Sandberg, Henrik; Johansson, Karl Henrik
err分享
err收藏
Controller encryption for discrete event systems
err2019-07-01
err0
PREAI
errRaphael Fritz; Moritz Fauser; Ping Zhang
err分享
err收藏
Practical and Secure Solutions for Integer Comparison
err2024-09-15
err0
PREAI
errJuan Garay; Berry Schoenmakers; José Villegas
err分享
err收藏
学者 查看更多内容