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