论文研究-SIP协议的SPIN模型检测.pdf

2010年Yoon等人提出一种基于椭圆曲线的三要素SIP认证密钥协商协议TAKASIP，但其存在一些攻击。对唐宏斌等人提出的该协议的改进方案使用SPIN进行了分析，发现仍然存在安全漏洞。针对这些缺陷，提出了一种有效的改进方案，采用在协议的消息中加入只有双方共享的秘密值的方法，克服了安全漏洞。新方案在不降低效率的情况下，提高了安全性。