Pattern-Based Design and Verification of Secure Service Compositions

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.