Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Opacity Enforcement by Edit Functions Under Incomparable Observations
Wei Duan, Ruotian Liu, Maria Pia Fanti +2
As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system.…
cs.FL2023
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step a…