Exact Persistent Stochastic Non-Interference

Carla Piazza, Riccardo Romanello, Sabina Rossi

Persistent Stochastic Non-Interference (PSNI) was introduced to capture a quantitative security property in stochastic process algebras, ensuring that a high-level process does not…