Opacity is an important information-flow property that arises in security and privacy analysis
of cyber–physical systems. Among many different notions of opacity, K-step opacity requires …

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 …

Today, service composition is emerging paradigm on the communication networks such as
cloud environments, internet of things, wireless sensor network, and software‐defined …

This paper investigates the problem of synthesizing sensor deception attacks against
security in the context of supervisory control of discrete-event systems (DES). We consider a …

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 …

This article investigates an important inform-ation-flow security property called opacity in
partially-observed discrete-event systems. We consider the presence of a passive intruder …

This paper investigates the problem of synthesizing sensor deception attackers against
privacy in the context of supervisory control of discrete-event systems (DES). We consider a …

In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-
observed discrete-event systems modeled as nondeterministic finite-state automata. As a …

Purpose Web services composition engineering (WSCE) is a big challenge because of the
increasing complexity, openness and extensibility of services based on the information …

With the proliferation of communication networks and mobile devices, the privacy and
security concerns on their information flow are raised. Given a critical system that may leak …