A process‐algebraic approach for the analysis of probabilistic noninterference. - Aldini, Alessandro; Bravetti, Mario; Gorrieri, Roberto (Journal of Computer Security, 2004)