Designing Secure Service Workflows in BPEL

Pino, Luca and Mahbub, Khaled and Spanoudakis, George (2014) Designing Secure Service Workflows in BPEL. In: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings. Programming and Software Engineering . Springer. ISBN 978-3-662-45390-2

Full text not available from this repository. (Request a copy)


This paper presents an approach that we have developed to support the design of secure service based applications in BPEL. The approach is based on the use of secure service composition patterns, which are proven to preserve
composition level security properties if the services that are composed according to the pattern satisfy other properties individually. The secure service composition patterns are used for two purposes: (a) to analyse whether a given
workflow fragment satisfies a given security property, and (b) to generate compositions of services that could substitute for individual services within the workflow that cause the violation of the security properties. Our approach has been implemented in a tool that is based on Eclipse BPEL Designer.

Item Type: Book Section
Subjects: CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Depositing User: Ian Mcdonald
Date Deposited: 16 Feb 2017 15:58
Last Modified: 22 Mar 2023 12:02

Actions (login required)

View Item View Item


In this section...