Search the dblp DataBase
Xiuying Liu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yuqing Zhang , Xiuying Liu , Dengguo Feng An approach to the formal verification of the three-principal security protocols. [Citation Graph (0, 0)][DBLP ] Security and Management, 2005, pp:163-169 [Conf ] Yuqing Zhang , Xiuying Liu , Bo Yang Running-mode Analysis of the SSL Protocol. [Citation Graph (0, 0)][DBLP ] International Conference on Internet Computing, 2005, pp:308-311 [Conf ] Yuqing Zhang , Xiuying Liu An approach to the formal verification of the three-principal cryptographic protocols. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2004, v:38, n:1, pp:35-42 [Journal ] Yuqing Zhang , Xiuying Liu Running-mode analysis of the Security Socket Layer protocol. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2004, v:38, n:2, pp:34-40 [Journal ] Search in 0.001secs, Finished in 0.001secs