2 papers
cs.CR2022
Verification of Strong K-Step Opacity for Discrete-Event Systems
Xiaoguang Han, Kuize Zhang, Zhiwu Li
In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-observed discrete-event systems modeled as nondeterministic finite-state automata. As a st…
cs.CR2021
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…