Web service composition is one of the main research challenges of the last decades. Several frameworks have been developed to compose services in order to meet requirements and constraints imposed by a service consumer. Hereafter, we survey research work on evaluation and automatic synthesis of service composition with a particular eye to security aspects. Furthermore, we describe our logical approach based on the partial model checking technique and open system analysis for the synthesis of secure service orchestrators that are also able to exploit some cryptographic primitives. We also show two implementations able to automatically generate an orchestrator process that composes several services in such a way to guarantee both functional and security requirements.
CITATION STYLE
Martín, J. A., Martinelli, F., Matteucci, I., Pimentel, E., & Turuani, M. (2014). On the synthesis of secure services composition_. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8431, 140–159. https://doi.org/10.1007/978-3-319-07452-8_6
Mendeley helps you to discover research relevant for your work.