Coordinatore | UNIVERSITA DEGLI STUDI DI VERONA
Organization address
address: Strada Le Grazie 15 contact info |
Nazionalità Coordinatore | Italy [IT] |
Totale costo | 5˙595˙278 € |
EC contributo | 3˙610˙000 € |
Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
Code Call | FP7-ICT-2009-5 |
Funding Scheme | CP |
Anno di inizio | 2010 |
Periodo (anno-mese-giorno) | 2010-10-01 - 2014-01-31 |
# | ||||
---|---|---|---|---|
1 |
UNIVERSITA DEGLI STUDI DI VERONA
Organization address
address: Strada Le Grazie 15 contact info |
IT (Verona) | coordinator | 0.00 |
2 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: RUE MICHEL -ANGE contact info |
FR (PARIS) | participant | 0.00 |
3 |
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH
Organization address
address: Raemistrasse contact info |
CH (ZUERICH) | participant | 0.00 |
4 |
INSTITUT POLYTECHNIQUE DE GRENOBLE
Organization address
address: AVENUE FELIX VIALLET contact info |
FR (GRENOBLE CEDEX 1) | participant | 0.00 |
5 |
INSTITUTUL E-AUSTRIA TIMISOARA
Organization address
address: BD. VASILE PARVAN contact info |
RO (TIMISOARA) | participant | 0.00 |
6 |
SAP AG
Organization address
address: DIETMAR HOPP ALLEE contact info |
DE (WALLDORF) | participant | 0.00 |
7 |
SIEMENS AKTIENGESELLSCHAFT
Organization address
address: Wittelsbacherplatz contact info |
DE (MUENCHEN) | participant | 0.00 |
8 |
TECHNISCHE UNIVERSITAET MUENCHEN
Organization address
address: Arcisstrasse contact info |
DE (MUENCHEN) | participant | 0.00 |
9 |
UNIVERSITA DEGLI STUDI DI GENOVA
Organization address
address: VIA BALBI contact info |
IT (GENOVA) | participant | 0.00 |
10 |
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
Organization address
address: Avenue Centrale, Domaine Universitaire contact info |
FR (GRENOBLE) | participant | 0.00 |
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
The vision of the Internet of Services (IoS) entails a major paradigm shift in the way ICT systems and applications are designed, implemented, deployed and consumed: they are no longer the result of programming components in the traditional meaning but are built by composing services that are distributed over the network and aggregated and consumed at run-time in a demand-driven, flexible way. In IoS, services are business functionalities that are designed and implemented by producers, deployed by providers, aggregated by intermediaries and used by consumers. However, the new opportunities opened by IoS will only materialise if concepts, techniques and tools are provided to ensure security.nState-of-the-art security validation technologies, when used in isolation, do not provide automated support to the discovery of important vulnerabilities and associated exploits that are already plaguing complex web-based security-sensitive applications, and thus severely affect the development of the IoS. Moreover, security validation should be applied not only at production time but also when services are deployed and consumed.nTackling these challenges is the main objective of the project, which will lay the technological foundations for a new generation of analysers for automated security validation at service provision and consumption time, thereby significantly improving the security of the IoS. This will be achieved by developing and combining state-of-the-art technologies for penetration testing, security testing, model checking, model extraction and automatic learning. These will all be integrated into the SPaCIoS Tool, which we shall apply proof of concept on a set of security testing problem cases drawn from industrial and open-source IoS application scenarios. This will pave the way to transfer project results successfully in industrial practice. We shall execute 2 concrete migration paths: to SAP and SIEMENS business units, and to industrial interest groups, standardisation bodies and open-source communities.