The main characteristics of the FI that shape the objectives for this activity are: a large number of heterogeneous users and high-level of adaptation. In order to ensure privacy to all users of the FI we want to deal with access and usage control issues early in the design phases of the development life cycle. We investigate advanced modelling and composition techniques to reason about security in the FI. A better modularity, associated with the necessary secure composition mechanisms allows answering the need for reconfiguration and dynamic adaptation of the FI: adapting the FI services can consist in removing modules and composing new ones in order to satisfy new (or changing) security requirements. The work on designing secure systems is based on abstract models of the FI and thus an important objective is also to master model-driven architecture for security.

<>The main objective of this activity is to provide improved support for architecting and designing secure services in Future Internet services. The major goal is to develop design methods to enable the creation of a secure architecture. Cost-effectiveness of the methods will be underpinned by studying and delivering composition and adaptation techniques. Architectural know-how will be consolidated by documenting reusable patterns and trusted services.

The major deliverables of this activity will address:

• A model-based approach for decomposing security concerns in software architectures;
• A method for composing security solutions in a principled way;
• A collection of architectural knowledge and patterns to be reused in secure service compositions.