Ilyass El Kassmi, Zahi Jarir. Security Requirements in Web Service Composition: Formalization, Integration, and Verification. In Sumitra Reddy, Walid Gaaloul, editors, 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016. pages 179-184, IEEE, 2016. [doi]
Abstract is missing.