Analysis and Improvement of a Mutual Authentication Protocol
Dai Ting-he · 2009
This paper applied strand space model,which is a method for formal analysis of security protocol,to analyse a mutual authentication protocol proposed by Natalia Miloslavskaya et al.,and found some flaws of the protocol on authentication.Then an improved protocol was proposed,and its correctness on authentication was proved by using strand space model.