| 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) |
