{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:15Z","timestamp":1750308015782,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,30]]},"DOI":"10.1145\/1501434.1501466","type":"proceedings-article","created":{"date-parts":[[2009,2,4]],"date-time":"2009-02-04T13:02:04Z","timestamp":1233752524000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Formal consistency verification between BPEL process and privacy policy"],"prefix":"10.1145","author":[{"given":"Yin Hua","family":"Li","sequence":"first","affiliation":[{"name":"University of New South Wales, Sydney NSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hye-Young","family":"Paik","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney NSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boualem","family":"Benatallah","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney NSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Web Service Privacy. http:\/\/www.serviceoriented.org\/ws-privacy.html.  Web Service Privacy. http:\/\/www.serviceoriented.org\/ws-privacy.html."},{"key":"e_1_3_2_1_2_1","unstructured":"A. Nadalin C. Kaler R. Monzillo and P. Hallam-Baker. Web service security: Ws-security specification. http:\/\/docs.oasis-open.org\/wss\/2004\/ Feb 2006.  A. Nadalin C. Kaler R. Monzillo and P. Hallam-Baker. Web service security: Ws-security specification. http:\/\/docs.oasis-open.org\/wss\/2004\/ Feb 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"May","author":"Andrews T.","year":"2003","unstructured":"T. Andrews and F. Curbera . Business process execution language for web services(1.1). ftp:\/\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf , May 2003 . T. Andrews and F. Curbera. Business process execution language for web services(1.1). ftp:\/\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf, May 2003."},{"key":"e_1_3_2_1_5_1","unstructured":"P. Ashley S. Hada G. Karjoth C. Powers and M. Schunter. Enterprise privacy authorization language (EPAL 1.2). http:\/\/www.w3.org\/Submission\/EPAL\/ November 2003.  P. Ashley S. Hada G. Karjoth C. Powers and M. Schunter. Enterprise privacy authorization language (EPAL 1.2). http:\/\/www.w3.org\/Submission\/EPAL\/ November 2003."},{"key":"e_1_3_2_1_6_1","unstructured":"S. Bajaj and D. Box. Web services policy framework (ws-policy). http:\/\/specs.xmlsoap.org\/ws\/2004\/09\/policy\/ws-policy.pdf Sep 2004.  S. Bajaj and D. Box. Web services policy framework (ws-policy). http:\/\/specs.xmlsoap.org\/ws\/2004\/09\/policy\/ws-policy.pdf Sep 2004."},{"key":"e_1_3_2_1_7_1","volume-title":"Int'l Symp. Electronic Commerce (ISEC-02)","author":"Powers P. A.","year":"2002","unstructured":"P. A. Calvin S. Powers and M. Schunter . Privacy promises, access control, and privacy management . In Int'l Symp. Electronic Commerce (ISEC-02) , 2002 . P. A. Calvin S. Powers and M. Schunter. Privacy promises, access control, and privacy management. In Int'l Symp. Electronic Commerce (ISEC-02), 2002."},{"key":"e_1_3_2_1_8_1","unstructured":"R. Chinnici J.-J. Moreau A. Ryman and S. Weerawarana. Web Services Description Language (WSDL) Version 2.0. http:\/\/www.w3.org\/TR\/wsdl20 August 2005.  R. Chinnici J.-J. Moreau A. Ryman and S. Weerawarana. Web Services Description Language (WSDL) Version 2.0. http:\/\/www.w3.org\/TR\/wsdl20 August 2005."},{"key":"e_1_3_2_1_9_1","volume-title":"Feb","author":"Cranor L.","year":"2001","unstructured":"L. Cranor , M. Langheinrich , and M. Marchirio . A P3P preference exchange language 1.0. W3C working draft , Feb 2001 . L. Cranor, M. Langheinrich, and M. Marchirio. A P3P preference exchange language 1.0. W3C working draft, Feb 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/320647"},{"key":"e_1_3_2_1_12_1","volume-title":"5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04)","author":"C. D.","year":"2004","unstructured":"C. D. K. Jess Arias Fisteus, Luis Snchez Fernndez. Formal verification of bpel4ws business collaborations . In 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04) , LNCS, Zaragoza, Spain , August 2004 . Springer. C. D. K. Jess Arias Fisteus, Luis Snchez Fernndez. Formal verification of bpel4ws business collaborations. In 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04), LNCS, Zaragoza, Spain, August 2004. Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/826036.826868"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646648.699358"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2004.11.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581062_29"},{"key":"e_1_3_2_1_17_1","unstructured":"M. L. Lorrie Cranor Giles Hogben M. Presler-Marshall J. Reagle and M. Schunter. The platform for privacy preference 1.1(P3P 1.1) specification. http:\/\/www.w3.org\/TR\/2004\/WD-P3P11-20040720 July 2004.  M. L. Lorrie Cranor Giles Hogben M. Presler-Marshall J. Reagle and M. Schunter. The platform for privacy preference 1.1(P3P 1.1) specification. http:\/\/www.w3.org\/TR\/2004\/WD-P3P11-20040720 July 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EEE.2005.53"},{"key":"e_1_3_2_1_19_1","unstructured":"T. Moses. extensible access control markup language (xacml) version 2.0. http:\/\/docs.oasis-open.org\/xacml\/2.0\/access-control-xacml-2.0-core-spec-os.pdf Feb 2005.  T. Moses. extensible access control markup language (xacml) version 2.0. http:\/\/docs.oasis-open.org\/xacml\/2.0\/access-control-xacml-2.0-core-spec-os.pdf Feb 2005."},{"key":"e_1_3_2_1_20_1","volume-title":"Feb","author":"Moses T.","year":"2005","unstructured":"T. Moses . Privacy policy profile of xacml v2.0. http:\/\/docs.oasis-open.org\/xacml\/2.0\/access-control-xacml-2.0-privacy-profile-spec-os.pdf , Feb 2005 . T. Moses. Privacy policy profile of xacml v2.0. http:\/\/docs.oasis-open.org\/xacml\/2.0\/access-control-xacml-2.0-privacy-profile-spec-os.pdf, Feb 2005."},{"key":"e_1_3_2_1_21_1","first-page":"255272","volume-title":"In Proc. of SAS '03, International Static Analysis Symposium","author":"Baldan P.","unstructured":"P. Baldan , B. Knig , and B. Knig . A logic for analyzing abstractions of graph transformation systems . In In Proc. of SAS '03, International Static Analysis Symposium , page 255272 . Springer LNCS 2694, 2003. P. Baldan, B. Knig, and B. Knig. A logic for analyzing abstractions of graph transformation systems. In In Proc. of SAS '03, International Static Analysis Symposium, page 255272. Springer LNCS 2694, 2003."},{"key":"e_1_3_2_1_22_1","volume-title":"Ensuring consistency of conditional graph grammars: a constructive approach. Theoretical Computer Science, (1)","author":"Heckel R.","year":"1995","unstructured":"R. Heckel and A. Wagner . Ensuring consistency of conditional graph grammars: a constructive approach. Theoretical Computer Science, (1) , 1995 . R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars: a constructive approach. Theoretical Computer Science, (1), 1995."},{"key":"e_1_3_2_1_23_1","unstructured":"a. e. Steve Anderson. Web Services Trust Language(WS-Trust). http:\/\/specs.xmlsoap.org\/ws\/2005\/02\/trust\/WS-Trust.pdf.  a. e. Steve Anderson. Web Services Trust Language(WS-Trust). http:\/\/specs.xmlsoap.org\/ws\/2005\/02\/trust\/WS-Trust.pdf."},{"key":"e_1_3_2_1_24_1","volume-title":"Bodley Head","author":"Westin A. F.","year":"1970","unstructured":"A. F. Westin . Privacy and Freedom . Bodley Head , 1970 . A. F. Westin. Privacy and Freedom. Bodley Head, 1970."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029179.1029190"}],"event":{"name":"PST06: International Conference on Privacy, Security and Trust","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Markham Ontario Canada","acronym":"PST06"},"container-title":["Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1501434.1501466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:40Z","timestamp":1750259200000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,30]]},"references-count":23,"alternative-id":["10.1145\/1501434.1501466","10.1145\/1501434"],"URL":"https:\/\/doi.org\/10.1145\/1501434.1501466","relation":{},"subject":[],"published":{"date-parts":[[2006,10,30]]},"assertion":[{"value":"2006-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}