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.