Compositionality versus Global Characteristic Features
The overall ambition of this topic is to devise formalisms and methods that allow quantitative and security properties of composite systems to be established from properties of the components as much as possible.
Components, interfaces for resources
Compositionality of security properties
Composition of Heterogeneous Models
Work package leader:
Technical University of Denmark