Distributed Orchestration of Web Services under Security Constraints

Tigran Avanesov 1 Yannick Chevalier 2 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-00641321
Contributor : Tigran Avanesov <>
Submitted on : Tuesday, November 15, 2011 - 2:24:36 PM
Last modification on : Thursday, June 27, 2019 - 4:27:42 PM
Long-term archiving on : Friday, November 16, 2012 - 10:56:29 AM

File

setop2011_submission_20.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00641321, version 1

Citation

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⟩

Share

Metrics

Record views

651

Files downloads

333