Testing and proving security protocols
QIAO Hai-yan
Computer Engineering and Applications . 2009, (4): 26 -29 .  DOI: 10.3778/j.issn.1002-8331.2009.04.008