Analyzing the Authentication Protocol with Type Flaw Based on Strand Spaces
Ren Xia · 2004
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator.