Document Open Access Logo

Quantitative Security Analysis (Dagstuhl Seminar 12481)

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

PDF

File

Thumbnail PDF
PDF
DagRep.2.11.135.pdf
  • Filesize: 0.81 MB
  • 20 pages

Document Identifiers

Subject Classification

Keywords
  • Security
  • Privacy,Information theory
  • Programming languages
  • Formal methods

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

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.

Cite As Get 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) https://doi.org/10.4230/DagRep.2.11.135

Author Details

Boris Köpf
Paquale Malacaria
Catuscia Palamidessi
and all authors of the abstracts in this report
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact