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