一种基于Strand空间的认证协议检测方法

A Checking Technique for Authentication Protocol Based on Strand Spaces

Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Needham Schroeder公钥协议为例 ,说明了该方法进行协议分析的过程。

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.