A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.

Alessandro Aldini Marco Bernardo A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. 18-33 2009 ARSPA-WITS http://dx.doi.org/10.1007/978-3-642-03459-6_2 conf/ifip1-7/2009wits db/conf/ifip1-7/wits2009.html#AldiniB09