Chunyan Mu, David Clark. Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. In Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan. pages 49-57, IEEE Computer Society, 2009. [doi]
Abstract is missing.