PROJECT TITLE :

Pattern_Based Design and Verification of Secure Service Compositions - 2017

ABSTRACT:

Ensuring the preservation of security may be a key demand and challenge for Service-Primarily based Systems (SBS) due to the utilization of third party software services not operating under different security perimeters. In this paper, we tend to present an approach for verifying the safety properties of SBS workflows and adapting them if such properties aren't preserved. Our approach uses secure service composition patterns. These patterns encode proven dependencies between service level and workflow level security properties. These dependencies are employed in reasoning processes supporting the verification of SBS workflows with respect to workflow security properties and their adaptation in ways in which 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 advanced workflows and massive sets of secure service composition patterns verification will be performed efficiently.