A Checking Technique for Authentication Protocol Based on Strand Spaces
Han Fang-xi · Jisuanji gongcheng · 2004
Strand Spaces is a model analysing security protocol. In this model,the protocol is represented and its correctness is proved with graph. Via the study of this model,a penetrator knowledge model is built and an technique based on Strand Space is put forward. This technique produces fewer states and prevents state space explosion. Needham-Schroeder public key protocol is taken as an example to explain the process of protocol analysis.