no code implementations • 8 Nov 2022 • Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
In this paper, we first introduce a concept of approximate pre-opacity by capturing the security level of control systems with respect to the measurement precision of the intruder.
no code implementations • 9 Dec 2020 • Junyao Hou, Xiang Yin, ShaoYuan Li
In this paper, we investigate the verification of current-state opacity for discrete-event systems under Orwellian-type observations, i. e., the system is allowed to re-interpret the observation of an event based on its future suffix.