WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing | IEEE Conference Publication | IEEE Xplore