Collective adaptive systems (CAS) often adopt cooperative operating strategies to run
distributed decision-making mechanisms. Sometimes, their effectiveness massively relies on …

Since the seminal paper by Bloom, Fokkink and van Glabbeek, the Divide and Congruence
technique allows for the derivation of compositional properties of nondeterministic …

In this paper we lay the semantic basis for a quantitative security analysis of probabilistic
systems by introducing notions of approximate confinement based on various process …

We use hidden Markov models to motivate a quantitative compositional semantics for
noninterference-based security with iteration, including a refinement-or 'implements' relation …

Preventing improper information leaks is a greatest challenge of the modern society. In this
paper, we present a technique for measuring the ability of several families of adversaries to …

We present a novel formal system for proving quantitative-leakage properties of programs.
Based on a theory of Quantitative Information Flow (QIF) that models information leakage as …

This paper studies various notions of approximate probabilistic bisimulation on labeled
Markov chains (LMCs). We introduce approximate versions of weak and branching …

An approach is presented to describe traffic processes in asynchronous transfer mode
(ATM) environments. Using a discrete-time Markov chain to describe the cell process …

Abstract Information-leak analysis for programs designates certain variables as “high
security”, ie that should not be directly readable by an adversary; the aim then is to show that …

Security-by-contract is a paradigm proposed for the secure installation, usage, and
monitoring of apps into mobile devices, with the aim of establishing, controlling, and, if …