A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

In this paper we tackle the opacity enforcement problem in discrete event systems using
supervisory control theory. In particular, we consider the case where the intruder and the …

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 …

A system is said to be opaque if an intruder that observes its evolution through a mask
cannot infer that the system's evolution belongs to a given secret behavior. Opacity …

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 …

Given a discrete event system, it is said to be opaque if an intruder who can partially observe
system behavior cannot infer that the system is necessarily in a predefined secret. A discrete …

Due to the proliferation of contemporary computer-integrated systems and communication
networks, there is more concern than ever regarding privacy, given the potential for sensitive …

A new approach to the verification of current-state opacity for discrete event systems is
proposed in this paper, which is modeled with unbounded Petri nets. The concept of opacity …

Opacity is a property of discrete event systems (DES) that is related to the possibility of
hiding a secret to external observers (the intruders). The secret can be either a system state …

This paper addresses the verification of strong current-state opacity with respect to real-time
observations generated from a discrete-event system that is modeled with time labeled Petri …