| 2005 | ||
|---|---|---|
| 2 | Yuqing Zhang, Chunling Wang, Shimin Wei: Using SMV for Cryptographic Protocol Analysis: A Case Study. FCS 2005: 150-153 | |
| 2001 | ||
| 1 | Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li: Using SMV for Cryptographic Protocol Analysis: A Case Study. Operating Systems Review 35(2): 43-50 (2001) | |
| 1 | Xing Li | [1] |
| 2 | Shimin Wei | [2] |
| 3 | Jianping Wu | [1] |
| 4 | Yuqing Zhang | [1] [2] |