Orchestration under Security Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Orchestration under Security Constraints

Résumé

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.
Fichier principal
Vignette du fichier
fmco.pdf (491.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00642855 , version 1 (01-12-2011)

Identifiants

  • HAL Id : hal-00642855 , version 1

Citer

Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch. Orchestration under Security Constraints. Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria. ⟨hal-00642855⟩
261 Consultations
231 Téléchargements

Partager

Gmail Facebook X LinkedIn More