.png){kind=icon}
.png){kind=icon}
Return
State-Based Security and Time-Inserting Supervisors
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-12086-1_1.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper investigates the enforcement of state-based security properties in process systems through supervisory control. We introduce a supervisor that operates under the assumption of incomplete system knowledge, mirroring the challenges faced in real-world deployments where both the supervisor and potential adversaries possess limited information. The proposed supervisor rectifies insecure process behaviors by strategically restricting actions or injecting timed events. Our study focuses on analyzing the necessary and sufficient conditions for the existence of such a supervisor capable of guaranteeing process security despite the knowledge limitations.
Keywords:
state-based security
supervisory control
incomplete knowledge
process systems
time-inserting supervisors
Journal
F
IF:
0
Papers:
13
Citations:
0