A New Method to Security Electronic Commerce Protocol. - Jie Yang 016; Hai-guang Mo; Yu-heng Long (SKG, 2006)

Observational Equivalence Technique in Trusted Model. - Jie Yang 016; Deyu Qi 001; Yuren Zhou; Jinbin Zheng (SSME, 2009)

Enhanced Strand Space for Secure Protocol Analysis. - Jie Yang 016; Yu-ren Zhou (SSME, 2009)