Computer Science ›› 2009, Vol. 36 ›› Issue (4): 73-76.
Previous Articles Next Articles
LI Xie-hua, GAO Chun-ming （School of Computer and Communication, Hunan University, Changsha 410082, China）
Online:
Published:
Abstract: A new efficient protocol-proving algorithm AAAP（Automatic Analyzer for Authentication Protocols） had been proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by f
Key words: Security protocol, Improved authentication tests, Neuman-Stubblebine protocol, NSL protocol
LI Xie-hua, GAO Chun-ming （School of Computer and Communication, Hunan University, Changsha 410082, China）. [J].Computer Science, 2009, 36(4): 73-76.
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/I4/73
Cited
Home