Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems

• 成果类型: Article
• 署名作者: Li, Xiaoyan; Hadjicostis, Christoforos N.; Li, Zhiwu
• 署名单位: Xidian University; University of Cyprus; Macau University of Science & Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3121249
• 发表日期: 2022
• 页码: 5289-5303
• 关键词: automata; Discrete-event systems; privacy; observers; Supervisory control; security; Technological innovation; discrete-event system; event insertion constraint (EIC); extended insertion function; finite-state automaton; opacity

摘要

Opacity is a confidentiality property that holds if certain secret behavior of a system, typically represented by a predicate, cannot be revealed under any system evolution. Among other proposed methodologies, when opacity is violated, it can be enforced using insertion mechanisms, i.e., by inserting symbols before an actual system output (in real time as the system evolves) in order to replace observation sequences that lead to opacity violations with observation sequences that can be generated by system behavior that does not violate opacity. This article focuses on opacity enforcement in discrete-event systems modeled with finite-state automata and proposes an extended insertion mechanism that can enforce opacity in a practical manner to a wide class of systems by inserting symbols before and after an actual system output. This article also introduces event insertion constraints that require only certain specific symbols to be inserted before and after an actual system output. For each case, we obtain a necessary and sufficient condition (based on the construction of an appropriate verifier) for opacity enforceability using the proposed extended insertion mechanism and devise a pertinent extended insertion strategy.