%0 Journal Article %A DING Meng-wei %A ZHOU Qing-lei %A ZHAO Dong-ming %T Strand space model of Yahalom-Paulson protocol and its analysis %D 2008 %R 10.3778/j.issn.1002-8331.2008.22.030 %J Computer Engineering and Applications %P 97-99 %V 44 %N 22 %X Strand spaces model is a new formal analysis tool to the analysis of cryptographic protocols.Furthermore,the proposition of the two concepts of ideal and honest simplifies the process of verification of cryptographic protocols.For the first time, based on the theory of strand space, Yahalom-Paulson protocol is analyzed from the aspects of both confidentiality and authentication.The analysis proves the correctness of the protocol. %U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2008.22.030