This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

Over the last decade, opacity of discrete event systems (DES) has become a very fertile field
of research. Driven by safety and privacy concerns in network communications and online …

Opacity is a confidentiality property that captures whether an intruder can infer a “secret” of a
system based on its observation of the system behavior and its knowledge of the system's …

In this paper, we follow a state-based approach to extend the notion of opacity in computer
security to discrete event systems. A system is (S, P)-opaque if the evolution of its true state …

In this paper, we formulate and analyze methodologies for verifying the notion of initial-state
opacity in discrete event systems that are modeled as non-deterministic finite automata with …

In the field of computer security, a problem that received little attention so far is the
enforcement of confidentiality properties by supervisory control. Given a critical system G …

Motivated by security and privacy considerations in a variety of applications of discrete event
systems, we describe and analyze the computational complexity required for verifying the …

We describe and analyze the complexity of verifying the notion of infinite-step opacity in
systems that are modeled as non-deterministic finite automata with partial observation on …

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 …

Opacity is a security property formalizing the absence of secret information leakage and we
address in this paper the problem of synthesizing opaque systems. A secret predicate S over …