Abstract: Strand space is a new formal model for the analysis of security protocols. Precise though they are, theory testifies in the strand space model are difficult. Firstly, based on the strand space model, the state of system is defined. Secondly, analysis proc

Key words: Strand space, Authentication protocol, State transition, Nonce