Verifying BPEL workflows under authorisation constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 439-444

  Zhao, Xiangpeng ^a,b   Cerone, Antonio ^b   Krishnan, Padmanabhan ^c  

^a PEKING UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c BOND UNIVERSITY   (Australia)

Author keywords

BPEL; Model checking; RBAC; Workflow

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA FLOW ANALYSIS; FORMAL LOGIC; INFORMATION SERVICES; MATHEMATICAL MODELS; SECURITY OF DATA;

BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); TEMPORAL LOGIC; WEB SERVICES; WORKFLOW;

ADMINISTRATIVE DATA PROCESSING;

EID: 33749984776     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (10)

1. G. Ahn, R. Sandhu, M. Kang, and J. Park. Injecting RBAC to secure a web-based workflow system. In Proc. of RBAC '00. ACM Press, 2000.
2. BPEL. Business process execution language for web services version 1.1. http://www-128.ibm.com/developerworks/library/vs-bpel/.
3. BPEL 2.0 Working Draft. Web services business process execution language version 2.0. http://www.oasis-open.org/apps/org/workgroup/wsbpel/. 2004.
4. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. of WWW '04. ACM Press, 2004.
5. S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri nets. In Proc. of BPM'05, LNCS 3649, 2005.
6. C. Ribeiro and P. Guedes. Verifying workflow processes against organization security policies. In WETICE99'. IEEE Computer Society, 1999.
7. SAL. Symbolic analysis laboratory, http://sal.csl.sri.com/.
8. K. Tan, J. Crampton, and C. Gunter. The consistency of task-based authorization constraints in workflow systems. In Proc. of CSFW'04, 2004.
9. J. Wainer, P. Barthelmess, and A. Kumar. W-RBAC - a workflow security model incorporating controlled overriding of constraints. International Journal of Cooperative Information Systems, 12(4), 2003.
10. X. Zhao, A. Cerone, and P. Krishnan. Modelling and resource allocation planning of BPEL workflows under security constraints. Technical Report 336, UNU-IIST, 2006. http://www.iist.unu.edu/.