Xiuying Liu

	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		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		Yuqing Zhang, Xiuying Liu: Running-mode analysis of the Security Socket Layer protocol. Operating Systems Review 38(2): 34-40 (2004)

Coauthor Index

1	Dengguo Feng	[3]
2	Bo Yang	[4]
3	Yuqing Zhang	[1] [2] [3] [4]