Data transparency is essential in the modern supply chain to improve trust and boost
collaboration among partners. In this context, Blockchain is a promising technology to …

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 security and privacy property that evaluates whether an external observer
(intruder) can infer a secret of a system by observing its behavior. This paper proposes an …

Detectability of discrete event systems, defined as the ability to determine the current and
subsequent states, is very important in diagnosis, control, and many other applications. So …

While cryptography is used to protect the content of information (eg, a message) by making it
undecipherable, behaviors (as opposed to information) may not be encrypted and may only …

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 …

A system is said to be language opaque if the intruder cannot infer if the generated event
sequence belongs to a secret based on its partial observation. In this paper we address the …

Detectability describes the property of a system to uniquely determine, after a finite number
of observations, the current and the subsequent states. Different notions of detectability have …

Existing probabilistic privacy enforcement approaches permit the execution of a program
that processes sensitive data only if the information it leaks is within the bounds specified by …

Privacy and security guarantee against curious observers or malicious actors has recently
emerged as a critical aspect for maintaining, protecting, and securing complex automated …