Quantitative Security Analysis (Dagstuhl Seminar 12481)

Authors Boris Köpf, Paquale Malacaria, Catuscia Palamidessi and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.81 MB
  • 20 pages

Document Identifiers

Author Details

Boris Köpf
Paquale Malacaria
Catuscia Palamidessi
and all authors of the abstracts in this report

Cite AsGet BibTex

Boris Köpf, Paquale Malacaria, and Catuscia Palamidessi. Quantitative Security Analysis (Dagstuhl Seminar 12481). In Dagstuhl Reports, Volume 2, Issue 11, pp. 135-154, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


The high amount of trust put into today's software systems calls for a rigorous analysis of their security. Unfortunately, security is often in conflict with requirements on the functionality or the performance of a system, making perfect security an impossible or overly expensive goal. Under such constraints, the relevant question is not whether a system is secure, but rather how much security it provides. Quantitative notions of security can express degrees of protection and thus enable reasoning about the trade-off between security and conflicting requirements. Corresponding quantitative security analyses bear the potential of becoming an important tool for the rigorous development of practical systems, and a formal foundation for the management of security risks.
  • Security
  • Privacy,Information theory
  • Programming languages
  • Formal methods


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail