The epistemic representation of information flow security in probabilistic systems | IEEE Conference Publication | IEEE Xplore