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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

State-Based Security and Time-Inserting Supervisors

  • Damas P. Gruska

摘要

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.