An Improved Calculus for Secure Dynamic Services Composition | IEEE Conference Publication | IEEE Xplore