On the Synthesis of Secure Services Composition
| Autor: | Mathieu Turuani, Ernesto Pimentel, Fabio Martinelli, Ilaria Matteucci, José Antonio Martín |
|---|---|
| Přispěvatelé: | Departamento Lenguajes y Ciencias de la Computación [Malaga] (LCC), Universidad de Málaga [Málaga] = University of Málaga [Málaga], Istituto di Informatica e Telematica (IIT-CNR), Consiglio Nazionale delle Ricerche [Roma] (CNR), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, European Project: 256980,EC:FP7:ICT,FP7-ICT-2009-5,NESSOS(2010), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Service (business)
Quantitative Security Computer science Process Algebras partial model checking Survey research [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 0102 computer and information sciences 02 engineering and technology Service composition 01 natural sciences [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] Engineering management Secure Service Composition Work (electrical) Synthesis of Functional and Secure Processes 010201 computation theory & mathematics Order (business) 0202 electrical engineering electronic engineering information engineering Web service composition 020201 artificial intelligence & image processing Composition (language) |
| Zdroj: | Engineering Secure Future Internet Services and Systems 2014, edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, 2014 info:cnr-pdr/source/autori:Jose A. Martìn, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani/titolo:On the Synthesis of Secure Services Composition/titolo_volume:Engineering Secure Future Internet Services and Systems 2014/curatori_volume:Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli/editore:/anno:2014 Engineering Secure Future Internet Services and Systems ISBN: 9783319074511 Engineering Secure Future Internet Services and Systems 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 |
| DOI: | 10.1007/978-3-319-07452-8_6 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|