Verification of Privacy Requirements in Web Services Composition

Web services collaborations environment are highly automatic, dynamic, and heterogeneous. These characteristics impose high levels of risk on the interacting parties. Hence, to guarantee that the private data of consumer in cross organizational services composition are not illegally collected, used and disclosed, it is necessary in designing to verify the privacy requirements of the services composition. Initially, this paper uses privacy policies to specify the privacy privileges of a services composition. Next, it models the interface behaviors of services by extending the interface automata to support privacy semantics. Furthermore, it formally verifies whether the behaviors of a services composition satisfy the privacy policy constraints.