Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti. On Quantitative Security Policies. In Victor Malyshkin, editor, Parallel Computing Technologies - 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Volume 6873 of Lecture Notes in Computer Science, pages 23-39, Springer, 2011. [doi]
Abstract is missing.