Security Certification of Composite Services: A Test-Based Approach | IEEE Conference Publication | IEEE Xplore