In this thesis a security property for stochastic, cooperating processes expressed as terms of the Performance Evaluation Process Algebra (PEPA) is studied. It is expressed as the notion of Persistent Stochastic Non-Interference ...