Orchestration for Secure Multi-party Communications in Web-Services ✩ - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Orchestration for Secure Multi-party Communications in Web-Services ✩

Takoua Abdellatif
  • Fonction : Auteur
  • PersonId : 833475
Marius Bozga
Saddek Ben Salem
  • Fonction : Auteur

Résumé

Multi-party interactions in Web Service composition are hardly managed where parallel communications, while end-to-end security is respected, is difficult to be designed and verified. In this paper, we present an approach to handle and secure multi-party interactions in Web Service (WS) composition. A key ingredient of this methodology is to present the system composition at an abstract level as a component-based model where we verify and configure it securely. Then, we transform the model to generate secure orchestrator components that handle multi-party interactions. Afterwards, we generate accordingly BPEL processes where the security constrains are enforced as security WS-policies in the BPEL description of services. The framework we present is robust since founded on formal proves of the security properties. We validate this approach by securing a social network application called Whens App.
Fichier principal
Vignette du fichier
main.pdf (744.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01629427 , version 1 (06-11-2017)

Identifiants

  • HAL Id : hal-01629427 , version 1

Citer

Najah Ben Said, Takoua Abdellatif, Marius Bozga, Saddek Ben Salem, Axel Legay. Orchestration for Secure Multi-party Communications in Web-Services ✩. 2017. ⟨hal-01629427⟩
444 Consultations
162 Téléchargements

Partager

Gmail Facebook X LinkedIn More