Decomposing Global Quantitative Properties into Local Ones

Autor:	Ilaria Matteucci, Francesco Santini
Rok vydání:	2016
Předmět:	Mathematical optimization Property (philosophy) Quantitative security Algebraic structure Computer science Computer Science (all) Modal logic Context (language use) Theoretical Computer Science Action (physics) Semiring Value (mathematics) Parametric statistics
Zdroj:	Data Privacy Management and Security Assurance ISBN: 9783319470719 DPM/QASA@ESORICS QASA: 5th International Workshop on Quantitative Aspects of Security Assurance, pp. 34–50, Heraklion, Crete, Greece, 26-27/09/2016 info:cnr-pdr/source/autori:Matteucci I., Santini F./congresso_nome:QASA: 5th International Workshop on Quantitative Aspects of Security Assurance/congresso_luogo:Heraklion, Crete, Greece/congresso_data:26-27%2F09%2F2016/anno:2016/pagina_da:34/pagina_a:50/intervallo_pagine:34–50
DOI:	10.1007/978-3-319-47072-6_3
Popis:	In this paper we address the problem of identifying what local properties the sub-components of a system have to satisfy in order to guarantee a (security) property on the behaviour of the whole system. We associate each action with a value. Hence, we end up with quantitative properties on them, which are specified through a modal logic equipped with a parametric algebraic structure (i.e., a c-semiring). The aim is to have a value related to the satisfaction of a formula. Starting from the behaviour of a general distributed system (or context), we propose a formal approach to decompose a global quantitative property into the local quantitative properties to be satisfied by its sub-contexts.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffb3406fb095fde15737e72ef649e910 https://doi.org/10.1007/978-3-319-47072-6_3 Zobrazit plný text záznamu