2008 | ||
---|---|---|
3 | EE | Li Bao, Weishi Zhang, Xiuguo Zhang: Describing and Verifying Web Service by CCS on a Case Study. ICNSC 2008: 1571-1576 |
2006 | ||
2 | EE | Yin Yin, Li Bao: Secure Cross-Realm C2C-PAKE Protocol. ACISP 2006: 395-406 |
1 | EE | Li Bao, Weishi Zhang, Xiuguo Zhang: Describing and Verifying Web Service Using CCS. PDCAT 2006: 421-426 |
1 | Yin Yin | [2] |
2 | Weishi Zhang | [1] [3] |
3 | Xiuguo Zhang | [1] [3] |