An Improvement of Authentication Test for Security Protocol Analysis
Xiangdong Li, Qingxian Wang · Computational Intelligence and Security · 2007
Authentication Test (AT), based on strand spaces, is a method used to verify cryptographic protocols. This paper identifies an inaccuracy existing in AT and presents an improvement called authenticated authentication test (AAT). An analysis of Denning-Sacco and other protocols using AAT shows that the improved method is effective.