Towards the Secure Provision and Consumption in the Internet of Services

Abstract

In this short paper, we describe the SPaCIoS (“Secure Provision and Consumption in the Internet of Services”) project, illustrating its main objectives, the results obtained so far and those that we expect to achieve, in particular the development of the SPaCIoS Tool, an integrated platform that takes as input a formal description of the system under validation, the expected security goals, and a description of the capabilities of the attacker, and automatically generates and executes a sequence of test cases on the system through a number of proxies.

The work presented in this paper was supported by the FP7-ICT-2009-5 Project no. 257876, “SPaCIoS: Secure Provision and Consumption in the Internet of Services” ( http://www.spacios.eu/ ). SPaCIoS is a 3-year STREP project that started on October 1, 2010. I thank all the members of the SPaCIoS Consortium, which comprises: the Universities of Verona and Genova (IT); ETH Zurich (CH); Grenoble INP (FR), KIT, TUM, SAP and Siemens (DE), and IeAT (RO).