| |
| 2005 | ||
|---|---|---|
| 4 | Yuqing Zhang, Xiuying Liu, Bo Yang: Running-mode Analysis of the SSL Protocol. International Conference on Internet Computing 2005: 308-311 | |
| 3 | Yuqing Zhang, Xiuying Liu, Dengguo Feng: An approach to the formal verification of the three-principal security protocols. Security and Management 2005: 163-169 | |
| 2004 | ||
| 2 | EE | Yuqing Zhang, Xiuying Liu: An approach to the formal verification of the three-principal cryptographic protocols. Operating Systems Review 38(1): 35-42 (2004) |
| 1 | EE | Yuqing Zhang, Xiuying Liu: Running-mode analysis of the Security Socket Layer protocol. Operating Systems Review 38(2): 34-40 (2004) |
| 1 | Dengguo Feng | [3] |
| 2 | Bo Yang | [4] |
| 3 | Yuqing Zhang | [1] [2] [3] [4] |