Improved Authentication Tests Theory and its Application in E-commerce Protocols

Authentication Test theory, based on Strand Space model, is a novel method to verify security features of E-commerce protocols. The goal of the paper is to improve original Authentication Tests Theory, so that we can avoid sort of replay attacks in E-commerce protocols. The paper present a improved version of Authentication Tests Theory, and then apply it to the analysis of Improved Wide-Mouth Frog Protocol. The result confirms that Improved Wide-Mouth Frog Protocol succeed in protecting session key and authenticating identities of both participants.