Pattern Based Design and Verification of Secure Service Compositions

Pino, Luca and Spanoudakis, George and Krotsiani, Maria and Mahbub, Khaled (2017) Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, 99. ISSN 1939-1374

OAPattern-Based Design and Verification.pdf - Accepted Version

Download (771kB)


Ensuring the preservation of security is a key requirement and challenge for Service-Based Systems (SBS) due to the use of third party software services not operating under different security perimeters. In this paper, we present an approach for verifying the security properties of SBS workflows and adapting them if such properties are not preserved. Our approach
uses secure service composition patterns. These patterns encode proven dependencies between service level and workflow level security properties. These dependencies are used in reasoning processes supporting the verification of SBS workflows with respect to workflow security properties and their adaptation in ways that guarantee the properties if necessary. Our
approach has been implemented by extending the Eclipse BPEL Designer and validated experimentally. The experimental evaluation has produced positive results, indicating that even for complex workflows and large sets of secure service composition patterns verification can be performed efficiently.

Item Type: Article
Identification Number:
3 April 2017Published
Uncontrolled Keywords: Design Tools and Techniques, Security and Protection, Services Composition, Systems analysis and design
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: 06 Jul 2017 08:24
Last Modified: 22 Mar 2023 12:01

Actions (login required)

View Item View Item


In this section...