Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

doi:10.1109/JAS.2023.123702

CASIA OpenIR > 学术期刊 > IEEE/CAA Journal of Automatica Sinica

	Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
	Dan You; Shouguang Wang
发表期刊	IEEE/CAA Journal of Automatica Sinica
ISSN	2329-9266
	2024
卷号	11 期号:1 页码:240-248
摘要	In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack (SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net (PN) as the reference formalism and an SM-attack, an algorithm that synthesizes a liveness-enforcing non-deterministic supervisor tolerant to the SM-attack is proposed for the first time.
关键词	Cyber-attacks cyber-physical system (CPS) liveness non-deterministic supervisors Petri net (PN)
DOI	10.1109/JAS.2023.123702
引用统计
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/54507
专题	学术期刊_IEEE/CAA Journal of Automatica Sinica
推荐引用方式 GB/T 7714	Dan You,Shouguang Wang. Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks[J]. IEEE/CAA Journal of Automatica Sinica,2024,11(1):240-248.
APA	Dan You,&Shouguang Wang.(2024).Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.IEEE/CAA Journal of Automatica Sinica,11(1),240-248.
MLA	Dan You,et al."Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks".IEEE/CAA Journal of Automatica Sinica 11.1(2024):240-248.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
JAS-2023-0072.pdf（855KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览下载