Dice Question Streamline Icon: https://streamlinehq.com

Extend edit-function opacity enforcement to intruder-aware case under incomparable observations

Extend the edit-function-based opacity enforcement framework for discrete-event systems modeled by deterministic finite automata to the setting where the intruder is aware of the defender’s (edit function’s) existence, under incomparable observation capabilities between the intruder and the defender; specifically, develop corresponding conditions and synthesis procedures (analogous to the proposed ic-enforceability and edit mechanisms) that guarantee opacity when the intruder is aware of the defender.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper studies opacity enforcement via edit functions when the intruder and defender have incomparable observation capabilities. Throughout, the intruder is assumed not to be aware of the defender’s presence, simplifying the inference model used by the intruder.

In the literature on obfuscation-based opacity enforcement, two knowledge regimes are commonly considered: intruder unaware of the defender and intruder aware of (and possibly knowing) the defender. This work addresses only the former and explicitly highlights the latter as an open direction within the same incomparable-observations framework.

References

We can categorize these scenarios into two distinct cases: one where the intruder is not aware of the defender's existence (see, for example, ), and the other where the intruder is aware of the defender's existence (see, for example, ). In this work, we extensively investigate the first case, whereas the second case will remain open for us to extend under the incomparable observation setting.

— Opacity Enforcement by Edit Functions Under Incomparable Observations (2410.08471 - Duan et al., 11 Oct 2024) in Section 7, Comparison with Existing Work, item 2 (Knowledge of the intruder)