Security Analysis of Needham-Schroeder Symmetric Key Authentication Protocol
Zhaoxin Zhang · Microcomputer Information · 2008
Verification and analyzing the authentication protocol with formal method has become international researcher’s new focus. This paper researches on Needham-Schroeder authentication protocol based on BAN logic. It points out the flaw of the protocol that can be used by replay attack and improves the protocol by adding nonce in the transferred message. Finally,this paper proves the correctness of the improved protocol with BAN logic.