Strand space model of Yahalom-Paulson protocol and its analysis
DING Meng-wei,ZHOU Qing-lei,ZHAO Dong-ming
Computer Engineering and Applications . 2008, (22): 97 -99 .  DOI: 10.3778/j.issn.1002-8331.2008.22.030