Towards the secure provision and consumption in the internet of services

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.