Formal analysis of Needham-Schroeder protocol with authentication test methods
Zhang Xuan-fang · Computer Engineering and Applications Journal · 2010
Among the formalized analysis methods of security protocol,the strand space model and the authentication test methods based on the strand space model are the commonly used methods.For the defects of man-in-middle attack in the Needham-Schroeder protocol,the paper gives the improvements and adopts the authentication test methods to verify the improved Needham-Schroeder protocol can meet the demands of security goals of protocol.