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
Preview |
Text
OAPattern-Based Design and Verification.pdf - Accepted Version Download (771kB) |
Abstract
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: | 10.1109/TSC.2017.2690430 |
Dates: | Date Event 3 April 2017 Published |
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 > College of Computing |
Depositing User: | Ian Mcdonald |
Date Deposited: | 06 Jul 2017 08:24 |
Last Modified: | 22 Mar 2023 12:01 |
URI: | https://www.open-access.bcu.ac.uk/id/eprint/4802 |
Actions (login required)
View Item |