Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/30575' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/30575' in /dati/webiit-old/includes/database.pgsql.inc on line 159 On the Synthesis of Secure Services Composition | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

On the Synthesis of Secure Services Composition

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.


2014

Autori esterni: Jose Antonio Martìn (E.T.S. Ingenierıa Informatica, Universidad de Màlaga, Spain), Ernesto Pimentel (E.T.S. Ingenierıa Informatica, Universidad de Malaga, Spain), Mathieu Turuani (INRIA)
Autori IIT:

Tipo: Articolo in capitolo di libro con casa editrice internazionale
Area di disciplina: Information Technology and Communication Systems

Attività: Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti