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

摘要：

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

关键词：串空间、丛、攻击者模型、形式化分析、安全协议

所属期刊栏目：24

分类号：TP309(计算技术、计算机技术)

资助基金：河南省教育厅基金.基于时间自动机的模型验证理论及应用研究2006520015;河南省自然科学基金,模型验证技术研究0411012169

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

页数：共3页

页码：37-39