Prototype for design-time secure and trustworthy service composition | IEEE Conference Publication | IEEE Xplore