The NSSK Protocol Improvement and the Formalization Analyses
Deng Yong-jiang, Zhu Gui-hong · 2006
The main function of the NSSK protocol is to complete the bi-directional authentication.This article proposes one new attack method and gives an improvement plan for a stronger security.BAN formalization analysis proves this improvement protocol to be effective.