City Research Online

Designing Secure Service Workflows in BPEL

Pino, L., Mahbub, K. & Spanoudakis, G. (2014). Designing Secure Service Workflows in BPEL. Lecture Notes in Computer Science, 8831, pp. 551-559. doi: 10.1007/978-3-662-45391-9_48

Abstract

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 com-positions 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.

Publication Type: Article
Additional Information: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-45391-9_48
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology > Computer Science
SWORD Depositor:
[thumbnail of A-BPELDesigner_Paper_LNCS_v1.4.pdf]
Preview
Text - Accepted Version
Available under License : See the attached licence file.

Download (372kB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login