| 对SVO逻辑方法的改进 |
| |
| 引用本文： | 吴开贵,陈明. 对SVO逻辑方法的改进[J]. 哈尔滨工程大学学报, 2007, 28(5): 542-547 |
| |
| 作者姓名： | 吴开贵 陈明 |
| |
| 作者单位： | 重庆大学,计算机学院,重庆,400044;重庆大学,计算机学院,重庆,400044 |
| |
| 基金项目： | 国家自然科学基金 , 2CNGI示范工程研究开发、产业化及应用试验基金 |
| |
| 摘 要： | 随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证,而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述.因此,扩展了SVO逻辑分析哈希函数的逻辑语法,增加了相应的推理公理,证明了推理公理的安全性.然后,讨论了SVO逻辑方法的分析目标,举例证明了其实体认证目标存在的漏洞,提出新的认证目标,同时分析了新目标的安全性.实验证明,对SVO逻辑方法的扩展与改进是实用和有效的,此工作对其他的安全协议形式化分析方法也具有借鉴意义.
|
| 关 键 词： | 哈希函数 SVO逻辑 实体认证 密钥确认 形式化分析 |
| 文章编号： | 1006-7043（2007）05-0542-06 |
| 修稿时间： | 2006-06-16 |
Improving SVO logic |
| |
| WU Kai-Gui,CHEN Ming. Improving SVO logic[J]. Journal of Harbin Engineering University, 2007, 28(5): 542-547 |
| |
| Authors: | WU Kai-Gui CHEN Ming |
| |
| Affiliation: | College of Computer, Chongqing University, Chongqing 400044,China |
| |
| Abstract: | |
| |
| Keywords: | hash function SVO logic entity authentication key confirmation tormalized analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
