Analysis of Amended N-S Protocol Based on Strand Space Model
Shimin Wei · Jisuanji gongcheng · 2008
It is the first time to prove the Miao Xianghua’s modified version of Needham-Schroeder protocol with the theory of strand space which is a rising formal analysis tool.Its authentication is analysed,the analysis contains responser’s authentication and sponsor’s authentication.Its confidentiality is analysed,and two concepts honest and ideal are used to simplify the process of verification.It indicates that K,Nb,Nb0 are secret.Result shows that the amended N-S protocol can reach the goal,and it is consistent with the result of Miao Xianghua’s analysis.