2 citations · 2 across the 3 of their papers we have counts for
3 papers
Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis
Attacks, including the manipulation of sensor readings and the modification of actuator commands, pose a significant challenge to the security and privacy of automated systems. Thi…
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…
Extended Insertion Functions for Opacity Enforcement
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a confidentiality property that holds when certain secret strings of a given system cannot be revealed to an outside observer under any system activity. Opacity violatio…