A Novel Formal Framework for Secure Dynamic Services Composition | IEEE Conference Publication | IEEE Xplore