Generating secure service compositions

AutorPino, L.; Spanoudakis, G.; Fuchs, A.; Gürgens, S.
ArtConference Paper
AbstraktEnsuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach.
KonferenzInternational Conference on Cloud Computing and Services Science (CLOSER) <4, 2014, Barcelona>
ReferenzHelfert, M.: Cloud Computing and Services Sciences. International Conference in Cloud Computing and Services Sciences, CLOSER 2014: Barcelona Spain, April 3-5, 2014, Revised Selected Papers. Cham: Springer International Publishing, 2015. (Communications in computer and information science 512), pp. 81-99
SchlüsselISBN : 9783319254142