PUMA
Istituto di Informatica e Telematica     
Matteucci I., Santini F. Decomposing Global Quantitative Properties into Local Ones. In: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016 (Heraklion, Crete, 26-09 2016). Proceedings, pp. 34 - 50. (Lecture Notes in Computer Science, vol. 9963). Springer, 2016.
 
 
Abstract
(English)
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. Startingfrom the behaviour of a general distributed system (or context ), we propose a formal approach to decompose a global quantitative property intothe local quantitative properties to be satisfied by its sub-contexts.
URL: http://link.springer.com/chapter/10.1007/978-3-319-47072-6_3
DOI: 10.1007/978-3-319-47072-6_3
Subject Quantitative security
C.2.0 Security and protection


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional