The area of processes and services engineering is a very attractive field for innovative research, particularly in the last years, when the outsourcing of business processes on the cloud has become a popular paradigm for both small and big companies. The outsourcing of data, services, processes and infrastructures on remote platforms provided by third parties is posing new important challenges, especially considering the security aspects, since the resulting software systems are expected to function correctly and resist also to malicious attacks under different changing threat scenarios. New techniques and methodologies are needed to be able to build better, more robust and more trusted systems, where security is taken into account and integrated in the whole design process since the very first stages.