Sun, Haiyang, Yang, Jian, Wang, Xin and Zhang, Yanchun (2009) A Verification Mechanism for Secured Message Processing in Business Collaboration. In: Advances in Data and Web Management. Li, Qing, Feng, Ling, Pei, Jian, Wang, Sean X, Zhou, Xiaofang and Zhu, Qiao-Ming, eds. Lecture Notes In Computer Science (5446). Springer, Berlin, Germany, pp. 480-491.

Sun, Haiyang, Wang, Xin, Yang, Jian and Zhang, Yanchun (2008) Authorization Policy Based Business Collaboration Reliabilty Verification. In: Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008, proceedings. Bouguettaya, Athman, Krueger, Ingolf and Margaria, Tiziana, eds. Lecture Notes in Computer Science (5364). Springer, Berlin, pp. 579-584.

Wang, Xin, Zhang, Yanchun, Shi, Hao and Yang, Jian (2008) BPEL4RBAC: an Authorisation Specification for WS-BPEL. In: Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings. Bailey, James, Maier, David, Schewe, Klaus-Dieter, Thalheim, B and Wang, Xiaoyang Sean, eds. Lecture Notes in Computer Science (5175). Springer, Berlin, pp. 381-395.