| |
| 2006 | ||
|---|---|---|
| 2 | EE | Huanbao Wang, Yousheng Zhang, Yuan Li: A Diagram of Strand Spaces for Security Protocols. Journal of Computer Research and Development 43(12): 2062-2068 (2006) |
| 2005 | ||
| 1 | EE | Huanbao Wang, Yousheng Zhang, Yuan Li: Modeling for Security Verification of a Cryptographic Protocol with MAC Payload. ICIC (2) 2005: 538-547 |
| 1 | Yuan Li | [1] [2] |
| 2 | Yousheng Zhang | [1] [2] |