@article{d9427108e3ed4e38b326fd2067022bdb,
title = "Pattern-Based Design and Verification of Secure Service Compositions",
keywords = "Design tools and techniques, security and protection, services composition, systems analysis and design",
author = "Luca Pino and George Spanoudakis and Maria Krotsiani and Khaled Mahbub",
note = "Funding Information: The work reported in this paper has been partially funded by the EU F7 project ASSERT4SOA (grant no. 257351) and the H2020 project CYBERSURE (grant no. 734815). Publisher Copyright: {\textcopyright} 2008-2012 IEEE.",
year = "2020",
month = may,
day = "1",
doi = "10.1109/TSC.2017.2690430",
language = "English",
volume = "13",
pages = "515--528",
journal = "IEEE Transactions on Services Computing",
issn = "1939-1374",
publisher = "Institute of Electrical and Electronics Engineers",
number = "3",
}