Verification of Web services using an enhanced UDDI server | IEEE Conference Publication | IEEE Xplore