Verifying Security of Composed Interaction for Web Services. - Xiaolie Ye; Lejian Liao (J. Softw., 2009)

Verifying Authenticity in Interactive Behaviors of SemanticWeb Services. - Xiaolie Ye; Lejian Liao (AWIC, 2011)