1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
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…