A process-algebraic approach for the analysis of probabilistic noninterference.

Alessandro Aldini Mario Bravetti Roberto Gorrieri A process-algebraic approach for the analysis of probabilistic noninterference. 191-245 2004 12 Journal of Computer Security 2 db/journals/jcs/jcs12.html#AldiniBG04