Orchestration under Security Constraints

Yannick Chevalier 1 Mohammed Anis Mekki 2 Michael Rusinowitch 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Automatic composition of web services is a challenging task. Many works have considered simplified automata models that abstract away from the structure of messages exchanged by the services. For the domain of secured services (using e.g. digital signing or timestamping) we propose a novel approach to automated composition of services based on their security policies. Given a community of services and a goal service, we reduce the problem of composing the goal from services in the community to a security problem where an intruder should intercept and redirect messages from the service community and a client service till reaching a satisfying state. We have implemented the algorithm in AVANTSSAR Platform and applied the tool to several case studies.
Type de document :
Communication dans un congrès
Bernhard K Aichernig and Frank S. de Boer and Marcello M. Bonsangue. Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria. Springer, 6957, 2011, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00642855
Contributeur : Michaël Rusinowitch <>
Soumis le : jeudi 1 décembre 2011 - 10:55:41
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 12:36:05

Fichier

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

Identifiants

  • HAL Id : hal-00642855, version 1

Citation

Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch. Orchestration under Security Constraints. Bernhard K Aichernig and Frank S. de Boer and Marcello M. Bonsangue. Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria. Springer, 6957, 2011, Lecture Notes in Computer Science. 〈hal-00642855〉

Partager

Métriques

Consultations de la notice

338

Téléchargements de fichiers

180