Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems

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 insertin...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on automatic control 2022-10, Vol.67 (10), p.5289-5303
Main Authors: Li, Xiaoyan, Hadjicostis, Christoforos N., Li, Zhiwu
Format: Article
Language:English
Subjects:
Automata
Discrete event systems
Discrete-event system
event insertion constraint (EIC)
extended insertion function
finite-state automaton
Insertion
Observers
Opacity
Privacy
Security
Sequences
Supervisory control
Symbols
Technological innovation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2021.3121249