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

State Space Reduction Technique in Security Protocol Analysis

作　　者：王可心[1] 韩芳溪[1] 

机构地区：[1]山东大学计算机科学与技术学院,山东济南250062

出　　处：《计算机应用》2004年第4期119-120,143,共3页journal of Computer Applications

基　　金：山东省基金资助项目(003090309)

摘　　要：通过对基于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.

关 键 词：安全协议分析 状态空间简化技术 剪枝定理 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]