Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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

Abstract : 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.
Complete list of metadata

Cited literature [46 references]  Display  Hide  Download

https://hal.inria.fr/hal-01629427
Contributor : Najah Ben Said <>
Submitted on : Monday, November 6, 2017 - 2:18:40 PM
Last modification on : Wednesday, May 12, 2021 - 3:39:36 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01629427, version 1

Citation

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

Share

Metrics

Record views

655

Files downloads

192