In this paper, we study the verification and enforcement problems of strong infinite-step
opacity and k-step opacity for partially observed discrete-event systems modeled by finite …

In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …

Opacity is a property of discrete event systems (DES) that is related to the possibility of
hiding a secret to external observers, the so called intruders. If the secret is the system initial …

Opacity is an important information security property. Given a discrete event system, a set of
secret states, and an intruder who observes the system evolution through an observation …

The opaque property plays an important role in the operation of a security-critical system,
implying that pre-defined secret information of the system is not able to be inferred through …

Opacity is a property of discrete event systems (DES) that is related to the possibility of
hiding a secret from external observers (the intruders). When the secret is the initial state of …

In this paper we study a cybersecurity problem of protecting system's secrets with multiple
protections and a required security level, while minimizing the associated cost due to …

Opacity is a property of discrete event systems (DES) that is related to the possibility of
hiding a secret from external observers (the intruders). When the secret is the initial state of …

In this paper, we investigate both qualitative and quantitative synthesis of optimal privacy-
enforcing supervisors for partially-observed discrete-event systems. We consider a dynamic …

Opacity is an essential feature in the control and supervision of cyberphysical systems, in
particular wrt cybersecurity. It prevents intruders from knowing whether the system accessed …