Gorrieri: A Process-algebraic Approach for the Analysis of Probabilistic Non-interference (2004)

by A Aldini, M Bravetti, R
Venue:Journal of Computer Security