Li Jiang, Lingdi Ping, Xuezeng Pan. Extending intransitive noninterference with probabilities in information flow security. In Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA. pages 337-343, IEEE, 2007. [doi]
Abstract is missing.