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

[img]
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
Uncontrolled Keywords: Design Tools and Techniques, Security and Protection, Services Composition, Systems analysis and design
Subjects: G400 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
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: $ Ian McDonald
Date Deposited: 06 Jul 2017 08:24
Last Modified: 12 Oct 2017 09:33
URI: http://www.open-access.bcu.ac.uk/id/eprint/4802

Actions (login required)

View Item View Item

Research

In this section...