Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen. A novel formal framework for secure dynamic services composition. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 694-699, IEEE, 2008. [doi]
Abstract is missing.