Analysis of Needham-Schroeder Protocol Based on Strand Space Model
Jia Li · Microcomputer Information · 2008
Strand Space is a model of analysising security protocol which specificate the protocol using the form of Graph and demon-strate the correctness of the protocol.Throughing a lot of research,the paper builds the model of attacter.Based on the model of attac-ter,we analysis Needham-Schroder public key protocol using the Strand Space model which is a formal method for analysis of securi-ty protocols and indicate the process of analysis of protocols and demonstrate the correctness of Needham-Schroeder on secrecy and authentication using the mothod.Finally,we indicate the reason of the Needham-Schroeder drawbacks.