SIP协议的SPIN模型检测

• 作者: 尤启房 杨晋吉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: TAKASIP协议 椭圆曲线 SPIN工具 模型检测
• 年，卷（期）: 2014,（13）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 87-89,113
• 页数: 4页
• 分类号: TP393.08
• 字数: 4232字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1207-0314

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晋吉	华南师范大学计算机学院	30	177	8.0	12.0
2	尤启房	华南师范大学计算机学院	2	10	2.0	2.0