论文研究-一个端对端安全协议的缺陷分析.pdf

针对串空间理论的不足，在相关研究的基础上，加入了Diffie-Hellman操作的密码原语，扩展了理想和诚实的概念，拓展了串空间理论的分析范围。分析了一个端对端安全协议的核心安全特性，即保密性和认证特性，使用扩展的串空间理论分析得出该协议不能满足认证性，给出该协议的一个攻击和改进方法。