A new State Pruning method in Security Protocol Analysis
Pla Information · Microcomputer Information · 2007
Strand Space model represents and analyses the protocols by using graph. An overview of state space reduction technique isgiven in this paper via the study of the model. We have studied the application of Authentication Test in protocol analysis, and forwarded a pruning theorem based on Authentication Test. Researches have showed that the pruning theorem can reduce the state spaceand improve the efficiency of protocol analysis.