认证协议模型检测方法的状态搜索空间剪枝

摘要：

通过对一种基于Strand空间的认证协议模型检测方法的分析研究,在该方法中引入自由变量表示,并提出一些规则对状态搜索空间进行剪枝,可有效缩小状态搜索空间,防止状态空间爆炸,以Needham-Schroeder公钥协议为例,说明了该方法进行协议分析的过程.

关键词： Strand空间 模型检测 状态搜索 剪枝规则 认证协议模型 安全协议

作者: 姜志坚 韩芳溪

作者单位: 山东大学计算机科学与技术学院(山东济南)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 167-170

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）