Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan. Verifying BPEL Workflows Under Authorisation Constraints. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 439-444, Springer, 2006. [doi]
Abstract is missing.