Distributed Orchestration of Web Services under Security Constraints

Tigran Avanesov (1) , Yannick Chevalier (2, 3) , Mohammed Anis Mekki (1) , Michael Rusinowitch (1) , Mathieu Turuani (1)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 UT3 - Université Toulouse III - Paul Sabatier

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.

Domaines: Ingénierie assistée par ordinateur

Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch, Mathieu Turuani. Distributed Orchestration of Web Services under Security Constraints. 4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. ⟨hal-00641321⟩