Li Jiang Lingdi Ping Xuezeng Pan Extending intransitive noninterference with probabilities in information flow security. 337-343 2007 IMSCCS http://dx.doi.org/10.1109/IMSCCS.2007.57 conf/imsccs/2007 db/conf/imsccs/imsccs2007.html#JiangPP07