Abstract:In this paper, we study the problem of simultaneous public event information release and private event information hiding in discrete event systems modeled by partially observed non-deterministic finite automata, where the public and private event information is respectively defined as unobservable fault and secret events. The notion of D-C-compossibility is introduced to characterize whether a system simultaneously conceals the occurrences of secret events while releasing the occurrences of fault events. When such a property does not hold, we investigate its enforcement through a defensive function. This function takes each observable event of a system as input and generates a suitably modified event sequence at the system's output using event deletion, insertion, or substitution. Specifically, our focus is on prioritizing the concealment of the secret events while maximizing the detection of the fault events through the use of defensive functions. The notion of D-C-enforceability that refers to the capability of a defensive function to employ a strategy for manipulating observations of a system to enforce D - C -compossibility is proposed. That is, a D - C -enforcing defensive function ensures that all occurrences of fault events can be revealed while concealing all occurrences of secret events. A D - C -diagnoser construction is proposed to enumerate all feasible defensive actions following system behavior. By taking advantage of the D - C -diagnoser, we obtain a necessary and sufficient condition for D - C -enforceability, along with a corresponding obfuscation strategy for defensive functions.

Extended Insertion Functions for Opacity Enforcement in Discrete Event Systems

Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints

Opacity Enforcement by Edit Functions Under Incomparable Observations

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems

Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms

Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata

Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems

Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems

Quantitative Verification of Opacity Properties in Security Systems

Supervisor synthesis for opacity enforcement in partially observed discrete event systems

Handling Dynamic Information Release

STP-based verification and synthesis of state opacity for logical finite state machines

Expiring opacity problems in parametric timed automata

Multi-step state-based opacity for unambiguous weighted machines

Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction

On Approximate Opacity of Cyber-Physical Systems

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications

On Approximate Opacity of Stochastic Control Systems

Interpreting Opacity in the Context of Information-hiding and Obfuscation in Distributed Systems

Transforming opacity verification to nonblocking verification in modular systems