Application of Authentication Test in Security Protocol Analysis
Zhu Hongwen · Jisuanji gongcheng · 2006
The paper makes a systematic study on the authentication test, uses it to prove the security of two-part Needham-Schroeder protocol and three-part Woo-Lam protocol, and at last, compares the authentication test with BAN logic to illuminate the simplicity and complete semantics of authentication test.