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.
Topics:
- Components, interfaces for resources
- Compositionality of security properties
- Composition of Heterogeneous Models
Work package leader:
Flemming Nielson, Technical University of Denmark