Paper Info
Title
Pattern Based Design and Verification of Secure Service Compositions
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 pa...
Year
DOI
Venue
2020
10.1109/TSC.2017.2690430
IEEE Transactions on Services Computing
Keywords
DocType
Volume
Security,Urban areas,Credit cards,Software,Computer science,Pattern matching,Encoding
Journal
13
Issue
ISSN
Citations 
3
1939-1374
2
PageRank 
References 
Authors
0.39
16
4
Name
Order
Citations
PageRank
Luca Pino151.50
George Spanoudakis21057108.40
Maria Krotsiani3132.83
Khaled Mahbub428321.78