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

Wei Fu Yingzhou Zhang Xianting Zhu Junyan 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