Extending intransitive noninterference with probabilities in information flow security

摘要

Probabilistic information flow security properties such as probabilistic noninterference ensure that different be- haviors of the high part of the system do not affect the probability distribution of the low events. However, to deal with real applications