Luca Pino, George Spanoudakis, Maria Krotsiani, Khaled Mahbub. Pattern-Based Design and Verification of Secure Service Compositions. IEEE T. Services Computing, 13(3):515-528, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.