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

• 作者: 姜志坚 韩芳溪
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Strand空间 Bundle 攻击者知识模型 状态搜索
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 76-79
• 页数: 4页
• 分类号: TP393.08
• 字数: 5065字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩芳溪	山东大学计算机科学与技术学院	22	183	6.0	13.0
2	姜志坚	山东大学计算机科学与技术学院	1	3	1.0	1.0