Formal consistency verification between BPEL process and privacy policy.

Yin Hua Li, Hye-Young Paik, Boualem Benatallah

Browse the full PST paper archive.