基于Strand模型的Needham-Schroeder协议分析

• 作者: 周清雷 贾立伟 赵东明
• 来源期刊: 科技与创新
• 关键词: 串空间 丛 攻击者模型 形式化分析 安全协议
• 年，卷（期）: 2008,（27）
• 所属期刊栏目: 信息安全
• 页码范围: 37-39
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.27.015

摘要

Strand空间模型是一种安全协议分析模型.使用图的形式来描述协议,证明协议的正确性.通过分析研究,本文建立了攻击者模型.并在此基础上运用安全协议的形式化分析方法-Stmnd空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协议分析的过程,证明了该协议在保密性和认证性方面的正确性,并分析了该协议存在的安全缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
3	贾立伟	郑州大学信息工程学院	2	0	0.0	0.0