A Formal Model for Security-Aware dynamic Web Services Composition. - Dong-Hong Xu; Yong Qi; Di Hou; Ying Chen 004; Liang Liu 010 (ICCSA Workshops, 2007)

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

SpiG4WSC: A Calculus for Secure Services Composition. - Dong-Hong Xu; Yong Qi; Di Hou; Ying Chen 004 (IEEE SCC (2), 2008)

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

Dynamic Projection from Choreography to Orchestration Based on Role Correlation. - Dong-Hong Xu; Zheng Li; Yong Qi; Shujuan Jiang; Di Hou (CNSR, 2010)