From Qualitative to Quantitative Enforcement of Security Policy

  • Martinelli F
  • Matteucci I
  • Morisset C
Citations of this article
Mendeley users who have this article in their library.

You may have access to this PDF.


The problem of enforcing a security policy has been partic- ularly well studied over the last decade, following Schneider’s seminal work on security automata. We first present in this paper this problem through its qualitative aspect, where one tries to specify and to define a “good” runtime monitor. In particular, we recall that under some condi- tions, a monitor can be automatically synthesized, using partial model checking. We then introduce some of the quantitative challenges of run- time enforcement, which focus on the problem of defining what does it mean for a monitor to be better than another one, and we sketch several directions that could be explored to tackle this issue.




Martinelli, F., Matteucci, I., & Morisset, C. (2012). From Qualitative to Quantitative Enforcement of Security Policy (pp. 22–35).

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free