arrow
Return

Multistep Sensor Attackability in Cyber-Physical Systems

delete2025-07-01
delete0
PRE
AI
W
Wenli Duo
S
Shouguang Wang
M
MengChu Zhou
DOI:10.1109/TAC.2025.3542214delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This work investigates cyber-attacks targeting cyber-physical systems in the framework of discrete event systems. From intruders’ perspective, we propose a concept called k-step attackability to explore attack scenarios where intruders are constrained by a limited number of attack operations. In particular, we focus on a class of sensor attacks where sensor readings can be replaced, deleted, and inserted during transmission. We examine k-step attackability under such attacks and address its verification problem by proposing a structure termed an attack recognizer. It evaluates whether an arbitrary strategy generated by an attack structure can compromise a system within a certain number of attacks. Furthermore, we extend this work to general attack scenarios and provide a method to identify desired attack strategies.
Keywords:
Attackability
cyber-physical systems (CPSs)
discrete event systems (DESs)
sensor attacks

Journal

IEEE Transactions on Automatic Control cover
IEEE Transactions on Automatic Control
IF:
7
Papers:
1.3W
Citations:
6.7W

Organization

M
Macau University of Science and Technology
Scholars:
2.4K
Papers: 1.4K
Citations: 9.7K
Z
Zhejiang Gongshang University
Scholars:
6.6K
Papers: 4.9K
Citations: 8.1K