Abstract: The paper pointed out that authentication tests method based on the strand space model has three limita tions. Firstly, during the authentication analyzing, the method has not take the same principal participate in the proto col run as different role into

Key words: Authentication tests method, Type flaw attack, Protocol