10.3778/j.issn.1002-8331.1207-0314
SIP协议的SPIN模型检测
2010年Yoon等人提出一种基于椭圆曲线的三要素SIP认证密钥协商协议TAKASIP,但其存在一些攻击。对唐宏斌等人提出的该协议的改进方案使用SPIN进行了分析,发现仍然存在安全漏洞。针对这些缺陷,提出了一种有效的改进方案,采用在协议的消息中加入只有双方共享的秘密值的方法,克服了安全漏洞。新方案在不降低效率的情况下,提高了安全性。
TAKASIP协议、椭圆曲线、SPIN工具、模型检测
TP393.08(计算技术、计算机技术)
国家自然科学基金No.61202463。
2014-07-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
87-89,113