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 …

Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

In the context of security analysis for information flow properties, where a potentially
malicious observer (intruder) tracks the observed behavior of a given system, infinite-step …

This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …

Opacity, as an important property in information-flow security, characterizes the ability of a
system to keep some secret information from an intruder. In discrete-event systems, based …

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 …

We investigate the problem of synthesizing dynamic masks that preserve the infinite-step
opacity in the context of discrete-event systems. Dynamic mask is an information acquisition …

Opacity is an information flow property that captures the notion of plausible deniability in
dynamic systems, that is whether an intruder can deduce that “secret” behavior has …

Opacity is an important information-flow property concerning the security and privacy of
cyber–physical systems. We investigate the synthesis problem of infinite-step opacity and K …

This paper addresses the path detectability verification problem for time-dependent systems
modeled by time labeled Petri nets (TLPNs). To capture the information precisely, it may not …