Computer Science ›› 2009, Vol. 36 ›› Issue (2): 129-131.
Previous Articles Next Articles
LIAO Zhen-lan, WU Kai-gui ,XIE Qi ,DAI Ting-he （College of Computer Science of Chongqing University,Chongqing 400043 ,China）
Online:
Published:
Abstract: This paper applied strand space model, which is a method for formal analysis of security protocol, to analyse a mutual authentication protocol proposed by Natalia Miloslavskaya et al. , and found some flaws of the protocol on authentication. Then an impro
Key words: Security protocol, Authentication, Strand space
LIAO Zhen-lan, WU Kai-gui ,XIE Qi ,DAI Ting-he （College of Computer Science of Chongqing University,Chongqing 400043 ,China）. [J].Computer Science, 2009, 36(2): 129-131.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I2/129
Cited
Home