Skip to Main content Skip to Navigation
New interface
Conference papers

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
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Tigran Avanesov Connect in order to contact the contributor
Submitted on : Tuesday, November 15, 2011 - 2:24:36 PM
Last modification on : Tuesday, July 26, 2022 - 3:49:27 AM
Long-term archiving on: : Friday, November 16, 2012 - 10:56:29 AM


Files produced by the author(s)


  • HAL Id : hal-00641321, version 1


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⟩



Record views


Files downloads