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

A Checking Technique for Authentication Protocol Based on Strand Spaces

作　　者：姜志坚[1] 韩芳溪[1] 

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

出　　处：《计算机应用》2004年第1期76-79,共4页journal of Computer Applications

基　　金：山东省科技厅基金资助项目 (0 0 30 90 30 9)

摘　　要：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.

关 键 词：STRAND空间 BUNDLE 攻击者知识模型 状态搜索 

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