Text this: A process‐algebraic approach for the analysis of probabilistic noninterference.