Distributed orchestration of web services under security constraints

Authors:
Tigran Avanesov;Yannick Chevalier;Mohammed Anis Mekki;Michaël Rusinowitch;Mathieu Turuani
Affiliations:
INRIA Nancy Grand Est, Vandœuvre-lès-Nancy, France;Université de Toulouse, Toulouse, France;INRIA Nancy Grand Est, Vandœuvre-lès-Nancy, France;INRIA Nancy Grand Est, Vandœuvre-lès-Nancy, France;INRIA Nancy Grand Est, Vandœuvre-lès-Nancy, France
Venue:
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Year:
2011

Citing 13
Cited 0

Conversation specification: a new approach to design and analysis of e-service composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Automatic composition of transition-based semantic web services with messaging

VLDB '05 Proceedings of the 31st international conference on Very large data bases
An NP decision procedure for protocol insecurity with XOR

Theoretical Computer Science
Web Service Composition Approaches: From Industrial Standards to Formal Methods

ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Web Services Orchestration and Choreography

Computer
Automatic Composition of Services with Security Policies

SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Distributed Orchestration Versus Choreography: The FOCAS Approach

ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

CSF '09 Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium
Compiling and securing cryptographic protocols

Information Processing Letters
ASTRO: supporting composition and execution of web services

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Deducibility constraints

ASIAN'09 Proceedings of the 13th Asian conference on Advances in Computer Science: information Security and Privacy
The CL-Atse protocol analyser

RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a novel approach to automated distributed orchestration of Web services tied with security policies. The construction of an orchestration complying with the policies is based on the resolution of deducibility constraint systems and has been implemented for the non-distributed case as part of the AVANTSSAR Validation Platform. The tool has been successfully experimented on several case-studies from industry and academia.