An Improvement of Authentication Test for Security Protocol Analysis

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.