On the Synthesis of Secure Services Composition

Jose Antonio Martin 1 Fabio Martinelli 2 Ilaria Matteucci 2 Ernesto Pimentel 1 Mathieu Turuani 3
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Type de document :
Chapitre d'ouvrage
Maritta Heisel; Wouter Joosen; Javier Lopez; Fabio Martinelli. Engineering Secure Future Internet Services and Systems, LNCS 8431 (8431), Springer, pp.392, 2014, Lecture Notes in Computer Science, 978-3-319-07451-1. 〈http://dx.doi.org/10.1007/978-3-319-07452-8_6〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01094964
Contributeur : Mathieu Turuani <>
Soumis le : dimanche 14 décembre 2014 - 17:37:34
Dernière modification le : jeudi 15 février 2018 - 08:48:14

Identifiants

  • HAL Id : hal-01094964, version 1

Citation

Jose Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani. On the Synthesis of Secure Services Composition. Maritta Heisel; Wouter Joosen; Javier Lopez; Fabio Martinelli. Engineering Secure Future Internet Services and Systems, LNCS 8431 (8431), Springer, pp.392, 2014, Lecture Notes in Computer Science, 978-3-319-07451-1. 〈http://dx.doi.org/10.1007/978-3-319-07452-8_6〉. 〈hal-01094964〉

Partager

Métriques

Consultations de la notice

229