安全协议分析中的状态空间简化技术

State Space Reduction Technique in Security Protocol Analysis

通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。并以Needham Schroeder Lowe协议为例,说明了利用该技术进行协议分析的过程。

Through the study of the method of security protocol analysis based on the Strand Space Model,this paper proposes an advanced state space reduction technique,which combines state space reduction techniques with pruning-theorems during the protocol analysis in order to reduce the state space more efficiently. Then it takes the Needham-Schroeder-Lowe protocol as an example to demonstrate the analysis process according to this technique.