2026-07-20T11:16:38Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3982 2024-03-06T10:25:56Z ddc:004 open_access

Quantitative Security Analysis (Dagstuhl Seminar 12481) Köpf, Boris Malacaria, Paquale Palamidessi, Catuscia Security Privacy,Information theory Programming languages Formal methods 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Boris Köpf and Paquale Malacaria and Catuscia Palamidessi 2013 Is Part Of Dagstuhl Reports, Volume 2, Issue 11 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.2.11.135 urn:nbn:de:0030-drops-39824 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.11.135 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode