A New Model to Describe Protocols: Strand Space Model
Zheng Zhuo · 2003
Strand Space Model is a new security protocols model. In this paper we apply the Strand Space Picture to proof the Needham Schroeder protocol.We have also pointed out the protocol failure and have made the relevant correction.We have found that the model in discussion is distinguished from other models by its simplicity.It therefore is an important research direction of formal technology.