BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions. - Haiyang Sun 001; Jian Yang 001 (IEEE SCC, 2007)

Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions. - Haiyang Sun 001; Jian Yang 001 (APSCC, 2007)

CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. - Haiyang Sun 001; Jian Yang 001 (Business Process Management Workshops, 2007)

Authorization Policy Based Business Collaboration Reliability Verification. - Haiyang Sun 001; Xin Wang 030; Jian Yang 001; Yanchun Zhang (ICSOC, 2008)

Enforcing Business Collaboration Consistency in Business Transaction Net. - Haiyang Sun 001; Jian Yang 001 (CEC/EEE, 2008)

A Verification Mechanism for Secured Message Processing in Business Collaboration. - Haiyang Sun 001; Jian Yang 001; Xin Wang 030; Yanchun Zhang (APWeb/WAIM, 2009)

CoBTx-Net: A model for business collaboration reliability verification. - Haiyang Sun 001; Jian Yang 001; Lai Xu 001 (Inf. Syst. Frontiers, 2009)

A Temporal-Rule Based Verification System for Business Collaboration Reliability. - Haiyang Sun 001; Jian Yang 001; Weiliang Zhao (RITA, 2009)

SOAC: A Conceptual Model for Managing Service-Oriented Authorization. - Haiyang Sun 001; Weiliang Zhao; Jian Yang 001 (IEEE SCC, 2010)

Managing Conflict of Interest in Service Composition. - Haiyang Sun 001; Weiliang Zhao; Jian Yang 001 (OTM Conferences (1), 2010)

SOAC Engine: A System to Manage Composite Web Service Authorization. - Haiyang Sun 001; Weiliang Zhao; Jian Yang 001; Guizhi Shi (WISE, 2011)

SOAC-Net: A Model to Manage Service-Based Business Process Authorization. - Haiyang Sun 001; Jian Yang 001; Weiliang Zhao; Surya Nepal (IEEE SCC, 2012)

PASOAC-Net: A Petri-Net Model to Manage Authorization in Service-Based Business Process. - Haiyang Sun 001; Weiliang Zhao; Surya Nepal (ICSOC, 2012)

TiCoBTx-Net: A Model to Manage Temporal Consistency of Service-Oriented Business Collaboration. - Haiyang Sun 001; Jian Yang 001; Weiliang Zhao (IEEE Trans. Serv. Comput., 2012)