Strong current-state and initial-state opacity of discrete-event systems

Xiaoguang Han, Kuize Zhang, Jiahui Zhang +2

Opacity, as an important property in information-flow security, characterizes the ability of a system to keep some secret information from an intruder. In discrete-event systems, b…