You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems

Bohan Cui, Xiang Yin, Shaoyuan Li +1

In this paper, we investigate a class of information-flow security properties called opacity in partial-observed discrete-event systems. Roughly speaking, a system is said to be op…