Fabio Martinelli, Ilaria Matteucci, Charles Morisset. From Qualitative to Quantitative Enforcement of Security Policy. In Igor V. Kotenko, Victor A. Skormin, editors, Computer Network Security - 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings. Volume 7531 of Lecture Notes in Computer Science, pages 22-35, Springer, 2012. [doi]
Abstract is missing.