Opacity in Discrete Event Systems and Its Enforcement via State Encryption
Opacity is an information-flow property that determines whether an intruder, by observing the dynamic behavior of a system, can infer private information (e.g., a set of secret states). Standard current-state opacity requires that no subset of secret states be fully disclosed to an intruder. In practice, however, the d...