Noninterference Analysis of Reversible Probabilistic Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Browse the full FORTE paper archive.