Pattern-Based Design and Verification of Secure Service Compositions

Luca Pino, George Spanoudakis, Maria Krotsiani, Khaled Mahbub

    Research output: Contribution to journalArticlepeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Article number7891550
    Pages (from-to)515-528
    Number of pages14
    JournalIEEE Transactions on Services Computing
    Issue number3
    Publication statusPublished (VoR) - 1 May 2020


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


    Dive into the research topics of 'Pattern-Based Design and Verification of Secure Service Compositions'. Together they form a unique fingerprint.

    Cite this