Yin Hua Li, Hye-Young Paik, Boualem Benatallah. Formal consistency verification between BPEL process and privacy policy. In Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006. Volume 380 of ACM International Conference Proceeding Series, pages 26, ACM, 2006. [doi]
Abstract is missing.