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.
Type de document :
Communication dans un congrès
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. Springer, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00641321
Contributeur : Tigran Avanesov <>
Soumis le : mardi 15 novembre 2011 - 14:24:36
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 10:56:29

Fichier

setop2011_submission_20.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Springer, 2012, Lecture Notes in Computer Science. 〈hal-00641321〉

Partager

Métriques

Consultations de la notice

594

Téléchargements de fichiers

196