A novel formal framework for secure dynamic services composition. - Dong-Hong Xu; Yong Qi; Di Hou; Gong-Zhen Wang; Ying Chen 004 (CIT, 2008)

An Improved Calculus for Secure Dynamic Services Composition. - Dong-Hong Xu; Yong Qi; Di Hou; Gong-Zhen Wang; Ying Chen 004 (COMPSAC, 2008)