对SVO逻辑方法的改进

• 作者: 吴开贵 陈明
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 哈希函数 SVO逻辑 实体认证 密钥确认 形式化分析
• 年，卷（期）: 2007,（5）
• 页码范围: 542-547
• 页数: 6页
• 分类号: TP393.08
• 字数: 5639字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2007.05.012

摘要

随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证,而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述.因此,扩展了SVO逻辑分析哈希函数的逻辑语法,增加了相应的推理公理,证明了推理公理的安全性.然后,讨论了SVO逻辑方法的分析目标,举例证明了其实体认证目标存在的漏洞,提出新的认证目标,同时分析了新目标的安全性.实验证明,对SVO逻辑方法的扩展与改进是实用和有效的,此工作对其他的安全协议形式化分析方法也具有借鉴意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴开贵	重庆大学计算机学院	57	699	12.0	24.0
2	陈明	重庆大学计算机学院	15	80	7.0	8.0