Sign in

WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing.

Wei FuYingzhou ZhangXianting ZhuJunyan Qian
Published in: SERVICES (2012)
Keyphrases
  • analysis tool
  • program slicing
  • web services
  • description languages
  • source code
  • fault localization
  • description language
  • formal verification
  • relational databases
  • monitoring system
  • data quality
  • service composition