Pattern-Based Design and Verification of Secure Service Compositions

Luca Pino; George Spanoudakis; Maria Krotsiani; Khaled Mahbub

doi:10.1109/TSC.2017.2690430

Pattern-Based Design and Verification of Secure Service Compositions

Luca Pino, George Spanoudakis, Maria Krotsiani, Khaled Mahbub

City, University of London

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Original language	English
Article number	7891550
Pages (from-to)	515-528
Number of pages	14
Journal	IEEE Transactions on Services Computing
Volume	13
Issue number	3
DOIs	https://doi.org/10.1109/TSC.2017.2690430
Publication status	Published (VoR) - 1 May 2020

Funding

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).

Keywords

Design tools and techniques
security and protection
services composition
systems analysis and design

Access to Document

10.1109/TSC.2017.2690430

Cite this

@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",

}

TY - JOUR

T1 - Pattern-Based Design and Verification of Secure Service Compositions

AU - Pino, Luca

AU - Spanoudakis, George

AU - Krotsiani, Maria

AU - Mahbub, Khaled

N1 - 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: © 2008-2012 IEEE.

PY - 2020/5/1

Y1 - 2020/5/1

KW - Design tools and techniques

KW - security and protection

KW - services composition

KW - systems analysis and design

UR - https://www.scopus.com/pages/publications/85087144476

UR - https://www.scopus.com/inward/citedby.url?scp=85087144476&partnerID=8YFLogxK

U2 - 10.1109/TSC.2017.2690430

DO - 10.1109/TSC.2017.2690430

M3 - Article

AN - SCOPUS:85087144476

SN - 1939-1374

VL - 13

SP - 515

EP - 528

JO - IEEE Transactions on Services Computing

JF - IEEE Transactions on Services Computing

IS - 3

M1 - 7891550

ER -

Pattern-Based Design and Verification of Secure Service Compositions

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this