Computer Science ›› 2007, Vol. 34 ›› Issue (10): 99-102.
Previous Articles Next Articles
ZHOU Qing-Lei, WANG Feng, ZHAO Dong-Ming （School of Information Engineering, Zhengzhou University , Zhengzhou 450052）
Online:
Published:
Abstract: Authentication Test is the further development of strand space, it can be used not only for analyzing protocols, but also for guiding the design of protocol. However in the aspect of why a protocol is incorrect and how to improve it,Authentication Test ca
Key words: Authentication test, Security protocol, Strand space model, Agreement property
ZHOU Qing-Lei, WANG Feng, ZHAO Dong-Ming （School of Information Engineering, Zhengzhou University , Zhengzhou 450052）. [J].Computer Science, 2007, 34(10): 99-102.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I10/99
Cited
Home